Decidability of general extensional mereology
From MaRDI portal
Publication:2377058
DOI10.1007/s11225-012-9400-4zbMath1272.03069OpenAlexW2070115753MaRDI QIDQ2377058
Publication date: 27 June 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9400-4
Related Items (8)
MEREOLOGICAL BIMODAL LOGICS ⋮ A comprehensive picture of the decidability of mereological theories ⋮ On the effective universality of mereological theories ⋮ Mereology then and now ⋮ Notes on models of first-order mereological theories ⋮ Classical mereology is not elementarily axiomatizable ⋮ General extensional mereology is finitely axiomatizable ⋮ On the decidability of axiomatized mereotopological theories
Cites Work
This page was built for publication: Decidability of general extensional mereology