scientific article; zbMATH DE number 851448

MaRDI QIDQ4867922zbMATH OpenFDO

Authors Domenico Cantone, Rosa Ruggeri Cannata

Publication date 6 June 1996

zbMATH Keywords

completenessdecision proceduresoundnesstableaux calculusfinitely enumerated setsquantifier-free fragment of set theoryunquantified set theoretic formulae

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate
• scientific article; zbMATH DE number 1189098
• scientific article; zbMATH DE number 1507186
• scientific article; zbMATH DE number 1341470
• Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae

Cited in

(5)

• scientific article; zbMATH DE number 1189098 (Why is no real title available?)
• A fast saturation strategy for set-theoretic tableaux
• scientific article; zbMATH DE number 1612563 (Why is no real title available?)
• scientific article; zbMATH DE number 1507186 (Why is no real title available?)
• A tableau-based decision procedure for a fragment of set theory with iterated membership

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4867922)