Decidability of mereological theories

DOI10.12775/LLP.2009.004zbMath1186.03018OpenAlexW2141777248MaRDI QIDQ3400307

Hsing-chien Tsai

Publication date: 5 February 2010

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2009.004

zbMATH Keywords

decidabilitymereological theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25)

Related Items (7)

MEREOLOGICAL BIMODAL LOGICS ⋮ Decidability of general extensional mereology ⋮ A comprehensive picture of the decidability of mereological theories ⋮ On the effective universality of mereological theories ⋮ Notes on models of first-order mereological theories ⋮ General extensional mereology is finitely axiomatizable ⋮ On the decidability of axiomatized mereotopological theories

This page was built for publication: Decidability of mereological theories