Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Sitek G.

Years help

  1. 1 2017

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  congruence of mereological balls
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

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

100%
Sitek G.
Logic and Logical Philosophy
|
2017
|
vol. 26
|
issue 4
531–562
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.