scientific article; zbMATH DE number 1507186

zbMath0955.03015MaRDI QIDQ4503906

Calogero G. Zarba, Domenico Cantone

Publication date: 14 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tableau-based decision procedureMulti-Level Syllogistic with Singleton

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Set theory (03E99)

Related Items (7)

Satisfiability Modulo Theories ⋮ Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership ⋮ Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* ⋮ Unnamed Item ⋮ A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT ⋮ Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators ⋮ A tableau-based decision procedure for a fragment of set theory with iterated membership

This page was built for publication: