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 ProceduresTableau CalculusMulti-Level SyllogisticComputable Set TheoryHyperset Theory
Issue Date: 2010
Publisher: EUT Edizioni Università di Trieste
Source: 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.
Type: Article
URI: http://hdl.handle.net/10077/3889
ISSN: 0049-4704
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 PDFThumbnail
View/Open
Show full item record

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



CORE Recommender

Page view(s) 10

1,182
Last Week
9
Last month
checked on Apr 1, 2020

Download(s) 50

652
checked on Apr 1, 2020

Google ScholarTM

Check


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