The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids

dc.contributor.author	Sitek, Grzegorz
dc.date.accessioned	2018-02-16T08:05:10Z
dc.date.available	2018-02-16T08:05:10Z
dc.date.issued	2017-11-19
dc.identifier.citation	Logic and Logical Philosophy, No. 4, Vol. 26, pp. 531-562
dc.identifier.issn	2300-9802
dc.identifier.other	doi:10.12775/LLP.2017.016
dc.identifier.uri	http://repozytorium.umk.pl/handle/item/5010
dc.description.abstract	In the paper "Full development of Tarski's geometry of solids" Gruszczyński and Pietruszczak have obtained the full development of Tarski’s geometry of solids that was sketched in [14, 15]. In this paper 1 we introduce in Tarski’s theory the notion of congruence of mereological balls and then the notion of diameter of mereological ball. We prove many facts about these new concepts, e.g., we give a characterization of mereological balls in terms of its center and diameter and we prove that the set of all diameters together with the relation of inequality of diameters is the dense linearly ordered set without the least and the greatest element.
dc.language.iso	eng
dc.language.iso	eng
dc.rights	Attribution-NoDerivs 3.0 Poland
dc.rights	info:eu-repo/semantics/openAccess
dc.rights.uri	http://creativecommons.org/licenses/by-nd/3.0/pl/
dc.subject	Tarski’s geometry of solids
dc.subject	mereology
dc.subject	diameter of mereological ball
dc.subject	congruence of mereological balls
dc.subject	point-free geometry
dc.title	The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids
dc.type	info:eu-repo/semantics/article