The Sum Relation as a Primitive Concept of Mereology

dc.contributor.author	Gruszczyński, Rafał
dc.contributor.author	Li, Dazhu
dc.date.accessioned	2024-12-29T20:28:58Z
dc.date.available	2024-12-29T20:28:58Z
dc.date.issued	2024-07-01
dc.identifier.citation	Studia Logica
dc.identifier.other	https://doi.org/10.1007/s11225-024-10122-4
dc.identifier.uri	http://repozytorium.umk.pl/handle/item/7093
dc.description.abstract	Mereology 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.
dc.description.sponsorship	Narodowe Centrum Nauki (Polska), grant 2020/39/B/HS1/00216
dc.language.iso	eng
dc.publisher	Springer
dc.rights	Attribution 4.0 Poland
dc.rights.uri	https://creativecommons.org/licenses/by/4.0/deed.pl
dc.subject	mereology
dc.subject	mereological sum
dc.subject	mereological axioms
dc.subject	definitional equivalence of mereological theories
dc.subject	theory of relations
dc.title	The Sum Relation as a Primitive Concept of Mereology
dc.type	info:eu-repo/semantics/article