A new fast tableau-based decision procedure for an unquantified fragment of set theory

Authors
Cantone, D Zarba, CG
Citation
D. Cantone et Cg. Zarba, A new fast tableau-based decision procedure for an unquantified fragment of set theory, LECT N A I, 1761, 2000, pp. 126-136
Citations number
9
Categorie Soggetti
Current Book Contents
Journal title
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS → ACNP
ISSN journal
03029743
Volume
1761
Year of publication
2000
Pages
126 - 136
Database
ISI
SICI code
0302-9743(2000)1761:<126:ANFTDP>2.0.ZU;2-V
Abstract
In this paper we present a new fast tableau-based decision procedure for th e ground set-theoretic fragment Multi-Level Syllogistic with Singleton (in short MLSS) which avoids the interleaving of model checking steps.