|
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)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
