Spheres, cubes and simplexes in mereogeometry

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. © Nicolaus Copernicus University (Toru?) 2013.

Tipo Pubblicazione: 
Articolo
Author or Creator: 
Borgo
Stefano
Publisher: 
[s.n.]., Torun, Polonia
Source: 
Logic and Logical Philosophy 22 (2013): 255–293. doi:10.12775/LLP.2013.013
info:cnr-pdr/source/autori:Borgo, Stefano/titolo:Spheres, cubes and simplexes in mereogeometry/doi:10.12775/LLP.2013.013/rivista:Logic and Logical Philosophy/anno:2013/pagina_da:255/pagina_a:293/intervallo_pagine:255–293/volume:22
Date: 
2013
Resource Identifier: 
http://www.cnr.it/prodotto/i/319393
https://dx.doi.org/10.12775/LLP.2013.013
info:doi:10.12775/LLP.2013.013
http://www.scopus.com/record/display.url?eid=2-s2.0-84901845471&origin=inward
Language: 
Eng
ISTC Author: 
Ritratto di Stefano Borgo
Real name: