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 | 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 | Size | Format | |
---|---|---|---|---|
Cantone Felici NicolosiAsmundo RendMat42.pdf | 361.65 kB | Adobe PDF | ![]() View/Open |
CORE Recommender
Page view(s) 10
1,300
checked on Jan 26, 2023
Download(s) 50
702
checked on Jan 26, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.