A tableau-based decision procedure for a fragment of set theory with iterated membership

DOI10.1007/S10817-004-8271-4MaRDI QIDQ812437zbMATH OpenOpenAlexFDO

Authors Calogero G. Zarba, Rosa Ruggeri Cannata, Domenico Cantone

Publication date 23 January 2006

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-004-8271-4

zbMATH Keywords

decision procedureset theorysemantic tableau

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• scientific article; zbMATH DE number 1507186
• scientific article; zbMATH DE number 5151001
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
• scientific article; zbMATH DE number 5898609
• Publication:4867922

Cites work

• scientific article; zbMATH DE number 1612548 (Why is no real title available?)
• scientific article; zbMATH DE number 1612563 (Why is no real title available?)
• scientific article; zbMATH DE number 1641581 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 50150 (Why is no real title available?)
• scientific article; zbMATH DE number 1341470 (Why is no real title available?)
• scientific article; zbMATH DE number 1507186 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 851448 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
• Techniques of computable set theory with applications to proof verification
• The automation of syllogistic. II: Optimization and complexity issues
• Verification: Theory and Practice

Cited in

(3)

• A fast saturation strategy for set-theoretic tableaux
• scientific article; zbMATH DE number 1507186 (Why is no real title available?)
• scientific article; zbMATH DE number 5898609 (Why is no real title available?)

This page was built for publication: A tableau-based decision procedure for a fragment of set theory with iterated membership

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