Show simple item record

Files in this item

Thumbnail
Name:
Nice_Mereology.pdf
Size:
74.95Kb
Format:
PDF
View/Open

Natural axioms for classical mereology

Item metadata

dc.contributor.authorCotnoir, Aaron
dc.contributor.authorVarzi, Achille
dc.date.accessioned2018-11-02T11:30:06Z
dc.date.available2018-11-02T11:30:06Z
dc.date.issued2019-03
dc.identifier256370405
dc.identifier2888acfe-5033-4349-85da-fa9955628654
dc.identifier85062670646
dc.identifier000460515700008
dc.identifier.citationCotnoir , A & Varzi , A 2019 , ' Natural axioms for classical mereology ' , The Review of Symbolic Logic , vol. 12 , no. 1 , pp. 201-208 . https://doi.org/10.1017/S1755020318000412en
dc.identifier.issn1755-0203
dc.identifier.otherORCID: /0000-0003-4528-7570/work/65702599
dc.identifier.urihttps://hdl.handle.net/10023/16377
dc.descriptionThe research and writing of this paper was supported by a 2017–2018 Leverhulme Research Fellowship from the Leverhulme Trust.en
dc.description.abstractWe present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each system.
dc.format.extent8
dc.format.extent76755
dc.language.isoeng
dc.relation.ispartofThe Review of Symbolic Logicen
dc.subjectMereologyen
dc.subjectBoolean algebrasen
dc.subjectAxiomaticsen
dc.subjectB Philosophy (General)en
dc.subjectBC Logicen
dc.subjectT-NDASen
dc.subject.lccB1en
dc.subject.lccBCen
dc.titleNatural axioms for classical mereologyen
dc.typeJournal articleen
dc.contributor.sponsorThe Leverhulme Trusten
dc.contributor.institutionUniversity of St Andrews. Philosophyen
dc.identifier.doi10.1017/S1755020318000412
dc.description.statusPeer revieweden
dc.identifier.grantnumberRF-2017-046\10en


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.