The Sum Relation as a Primitive Concept of Mereology

Simple item page
dc.contributor.authorGruszczyński, Rafał
dc.contributor.authorLi, Dazhu
dc.date.accessioned2024-12-29T20:28:58Z
dc.date.available2024-12-29T20:28:58Z
dc.date.issued2024-07-01
dc.description.abstractMereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.pl
dc.description.sponsorshipNarodowe Centrum Nauki (Polska), grant 2020/39/B/HS1/00216pl
dc.identifier.citationStudia Logicapl
dc.identifier.otherhttps://doi.org/10.1007/s11225-024-10122-4
dc.identifier.urihttp://repozytorium.umk.pl/handle/item/7093
dc.language.isoengpl
dc.publisherSpringerpl
dc.rightsAttribution 4.0 Poland*
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/deed.pl*
dc.subjectmereologypl
dc.subjectmereological sumpl
dc.subjectmereological axiomspl
dc.subjectdefinitional equivalence of mereological theoriespl
dc.subjecttheory of relationspl
dc.titleThe Sum Relation as a Primitive Concept of Mereologypl
dc.typeinfo:eu-repo/semantics/articlepl

Files

Original bundle

Thumbnail Image
Name:
The_sum_relation_as_a_primitive_concept_of_mereology.pdf
Size:
574.67 KB
Format:
Adobe Portable Document Format
Download

License bundle

Thumbnail Image
Name:
license.txt
Size:
1.34 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Artykuły (WFiNS)