An addendum to: “Notes on models of first-order mereological theories”

DOI10.12775/LLP.2015.023zbMATH Open1369.03081OpenAlexW2274626603MaRDI QIDQ2987751FDOQ2987751

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.023

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)

Cites Work

• Classical mereology is not elementarily axiomatizable
• Notes on models of first-order mereological theories

Cited In (3)

• Adding metatheoretic facilities to first-order theories
• General extensional mereology is finitely axiomatizable
• Notes on models of first-order mereological theories

This page was built for publication: An addendum to: “Notes on models of first-order mereological theories”

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987751)