On the decidability of axiomatized mereotopological theories

DOI10.1215/00294527-2864307zbMath1334.03011OpenAlexW2040094148MaRDI QIDQ2354622

Hsing-chien Tsai

Publication date: 20 July 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1429277352

zbMATH Keywords

separabilitydecidabilitymereologymereotopologyfinite separability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

Notes on models of first-order mereological theories

Cites Work

• Unnamed Item
• A comprehensive picture of the decidability of mereological theories
• Elements of finite model theory.
• A calculus of individuals based on 'connection'
• A proof system for contact relation algebras
• Decidability of general extensional mereology
• Decidability of mereological theories
• Constructive version of Boolean algebra

This page was built for publication: On the decidability of axiomatized mereotopological theories