Classical mereology is not elementarily axiomatizable

dc.contributor.authorPietruszczak, Andrzejpl
dc.date.accessioned2016-06-06T10:39:12Z
dc.date.available2016-06-06T10:39:12Z
dc.date.issued2015-12-12pl
dc.description.abstractBy the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.en
dc.identifier.citationLogic and Logical Philosophy, No. 4, Vol. 24, pp. 485-498pl
dc.identifier.issn2300-9802pl
dc.identifier.otherdoi:10.12775/LLP.2015.017pl
dc.identifier.urihttp://repozytorium.umk.pl/handle/item/3316
dc.language.isoengpl
dc.rightsAttribution-NoDerivs 3.0 Polandpl
dc.rightsinfo:eu-repo/semantics/openAccesspl
dc.rights.urihttp://creativecommons.org/licenses/by-nd/3.0/pl/pl
dc.subjectclassical mereologyen
dc.subjectmereological structuresen
dc.subjectthe absence of elementary definability of classical mereologyen
dc.titleClassical mereology is not elementarily axiomatizablepl
dc.typeinfo:eu-repo/semantics/articlepl

Files

Original bundle

Loading...
Thumbnail Image
Name:
LLP.2015.017,Pietruszczak.pdf
Size:
495.84 KB
Format:
Adobe Portable Document Format