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 Borgo S.

Years help

  1. 1 2013

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  mereogeometry
help Sort By:

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

Spheres, Cubes and Simplexes in Mereogeometry

100%
Borgo S.
Logic and Logical Philosophy
|
2013
|
vol. 22
|
issue 3
255-293
EN
In 1929 Tarski showed how to construct points in a region-based first-order logic for space representation. The resulting system, called the geometry of solids, is a cornerstone for region-based geometry and for the comparison of point-based and region-based geometries. We expand this study of the construction of points in region-based systems using different primitives, namely hyper-cubes and regular simplexes, and show that these primitives lead to equivalent systems in dimension n ≥ 2. The result is achieved by adopting a single set of definitions that works for both these classes of figures. The analysis of our logics shows that Tarski’s choice to take sphere as the geometrical primitive might be intuitively justified but is not optimal from a technical viewpoint.
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.