Notes on models of first-order mereological theories

DOI10.12775/LLP.2015.009zbMath1369.03080OpenAlexW2007304042MaRDI QIDQ2987750

Hsing-chien Tsai

Publication date: 18 May 2017

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

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

zbMATH Keywords

modelsmereologyfirst-order mereological theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Basic properties of first-order languages and structures (03C07)

Related Items (3)

On the effective universality of mereological theories ⋮ An addendum to: “Notes on models of first-order mereological theories” ⋮ Classical mereology is not elementarily axiomatizable

Cites Work

• Unnamed Item
• Atoms, gunk, and the limits of `composition'
• A comprehensive picture of the decidability of mereological theories
• On the decidability of axiomatized mereotopological theories
• Decidability of general extensional mereology
• Decidability of mereological theories
• How innocent is mereology?

This page was built for publication: Notes on models of first-order mereological theories