Classical mereology is not elementarily axiomatizable
dc.contributor.author | Pietruszczak, Andrzej | pl |
dc.date.accessioned | 2016-06-06T10:39:12Z | |
dc.date.available | 2016-06-06T10:39:12Z | |
dc.date.issued | 2015-12-12 | pl |
dc.description.abstract | By 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.citation | Logic and Logical Philosophy, No. 4, Vol. 24, pp. 485-498 | pl |
dc.identifier.issn | 2300-9802 | pl |
dc.identifier.other | doi:10.12775/LLP.2015.017 | pl |
dc.identifier.uri | http://repozytorium.umk.pl/handle/item/3316 | |
dc.language.iso | eng | pl |
dc.rights | Attribution-NoDerivs 3.0 Poland | pl |
dc.rights | info:eu-repo/semantics/openAccess | pl |
dc.rights.uri | http://creativecommons.org/licenses/by-nd/3.0/pl/ | pl |
dc.subject | classical mereology | en |
dc.subject | mereological structures | en |
dc.subject | the absence of elementary definability of classical mereology | en |
dc.title | Classical mereology is not elementarily axiomatizable | pl |
dc.type | info:eu-repo/semantics/article | pl |
Files
Original bundle
Loading...
- Name:
- LLP.2015.017,Pietruszczak.pdf
- Size:
- 495.84 KB
- Format:
- Adobe Portable Document Format