General extensional mereology is finitely axiomatizable

DOI10.1007/S11225-017-9768-2zbMath1437.03032OpenAlexW2773863053MaRDI QIDQ1790606

Hsing-chien Tsai

Publication date: 2 October 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9768-2

zbMATH Keywords

atommereologyatomlessaxiomatizablegunkatomicclassical mereologygeneral extensional mereology

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

MEREOLOGICAL BIMODAL LOGICS ⋮ On the effective universality of mereological theories ⋮ Intuitionistic mereology. II: Overlap and disjointness

Cites Work

• Unnamed Item
• Atoms, gunk, and the limits of `composition'
• Decidability of general extensional mereology
• An addendum to: “Notes on models of first-order mereological theories”
• Classical mereology is not elementarily axiomatizable
• Decidability of mereological theories
• Complete Extensions of the Calculus of Individuals

This page was built for publication: General extensional mereology is finitely axiomatizable