A comprehensive picture of the decidability of mereological theories

DOI10.1007/S11225-012-9405-ZzbMATH Open1315.03016OpenAlexW2003983056MaRDI QIDQ383563FDOQ383563

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Undecidable theories
• A mathematical introduction to logic.
• What is classical mereology?
• Decidability of general extensional mereology
• More on the decidability of mereological theories
• Decidability of mereological theories
• Pieces of mereology
• Relation of Leśniewski's mereology to Boolean algebra
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

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

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)