A comprehensive picture of the decidability of mereological theories

DOI10.1007/S11225-012-9405-ZzbMath1315.03016OpenAlexW2003983056MaRDI QIDQ383563

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

undecidabilityBoolean algebraseparabilitydecidabilitymereologyinseparability

Mathematics Subject Classification ID

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

Related Items (4)

MEREOLOGICAL BIMODAL LOGICS ⋮ Mereology then and now ⋮ Notes on models of first-order mereological theories ⋮ On the decidability of axiomatized mereotopological theories

Cites Work

• What is classical mereology?
• Decidability of general extensional mereology
• Undecidable theories
• Decidability of mereological theories
• Pieces of mereology
• Relation of Leśniewski's mereology to Boolean algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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