OpenstarTs >
EUT-Periodici >
Rendiconti dell’Istituto di matematica dell’Università di Trieste: an International Journal of Mathematics >
Rendiconti dell‘ Istituto di matematica dell‘ Università di Trieste: an International Journal of Mathematics vol.42 (2010) >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/3889

Title: Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
Authors: Cantone, Domenico
Felici, Massimo
Nicolosi Asmundo, Marianna
Keywords: Decision Procedures
Tableau Calculus
Multi-Level Syllogistic
Computable Set Theory
Hyperset Theory
Issue Date: 2010
Publisher: EUT Edizioni Università di Trieste
Citation: Domenico Cantone, Massimo Felici, Marianna Nicolosi Asmundo, "A Tableau System for a Fragment of Hyperset Theory", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 165-190.
Series/Report no.: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
Abstract: We propose a decision procedure for a fragment of the hyperset theory, HMLSS, which takes inspiration from a tableau saturation strategy presented in [3] for the fragment MLSS of well-founded set theory. The procedure alternates deduction and model checking steps, driving the correct application of otherwise very liberal rules, thus significantly speeding up the process of discovering a satisfying assignment of a given HMLSS-formula or proving that no such assignment exists.
URI: http://hdl.handle.net/10077/3889
ISSN: 0049-4704
MS Classification 2000: 68T15
03B70
03B35
03E70
Appears in Collections:Rendiconti dell‘ Istituto di matematica dell‘ Università di Trieste: an International Journal of Mathematics vol.42 (2010)

Files in This Item:

File Description SizeFormat
Cantone Felici NicolosiAsmundo RendMat42.pdf361.65 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.