Options
Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
Cantone, Domenico
Felici, Massimo
Nicolosi Asmundo, Marianna
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.
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
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
Languages
en
File(s)
Loading...
Name
Cantone Felici NicolosiAsmundo RendMat42.pdf
Size
361.65 KB
Format
Adobe PDF
Checksum (MD5)
a04b7e64774c4ae4b8f926ae50c58332