A comprehensive picture of the decidability of mereological theories

DOI10.1007/S11225-012-9405-ZMaRDI QIDQ383563zbMATH OpenOpenAlexFDO

Authors Hsing-chien Tsai

Publication date 5 December 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9405-z

zbMATH Keywords

separabilityBoolean algebradecidabilityundecidabilitymereologyinseparability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Decidability of mereological theories
• More on the decidability of mereological theories
• On the decidability of axiomatized mereotopological theories
• Decidability of general extensional mereology
• Decidability of logical theories and their combination
• On the effective universality of mereological theories
• Intuitionistic mereology
• On Tarski's axiomatization of mereology
• scientific article; zbMATH DE number 3914293
• A remark concerning decidability of complete theories

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3078481 (Why is no real title available?)
• A mathematical introduction to logic.
• Decidability of general extensional mereology
• Decidability of mereological theories
• More on the decidability of mereological theories
• Pieces of mereology
• Relation of Leśniewski's mereology to Boolean algebra
• Undecidable theories
• What is classical mereology?

Cited in

(10)

• New axioms for mereology
• A monadic second-order version of Tarski's geometry of solids
• On the effective universality of mereological theories
• MEREOLOGICAL BIMODAL LOGICS
• On the decidability of axiomatized mereotopological theories
• Decidability of general extensional mereology
• Mereology then and now
• Decidability of mereological theories
• More on the decidability of mereological theories
• Notes on models of first-order mereological theories

This page was built for publication: A comprehensive picture of the decidability of mereological theories

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