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

DOI10.12775/LLP.2015.023MaRDI QIDQ2987751zbMATH OpenOpenAlexFDO

Authors 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)

• General extensional mereology is finitely axiomatizable
• Notes on models of first-order mereological theories
• Adding metatheoretic facilities to first-order 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)