scientific article; zbMATH DE number 851448

zbMATH Open0838.03009MaRDI QIDQ4867922FDOQ4867922

Authors: Domenico Cantone, Rosa Ruggeri Cannata 

Publication date: 6 June 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• A fast saturation strategy for set-theoretic tableaux
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)