Point-free foundation of geometry looking at laboratory activities

Researches in “point-free geometry”, aiming to found geometry without using points as primitive entities, have always paid attention only to the logical aspects. In this paper, we propose a point-free axiomatization of geometry taking into account not only the logical value of this approach but also...

Full description

Bibliographic Details
Main Authors: Giangiacomo Gerla, Annamaria Miranda
Format: Article
Language:English
Published: Taylor & Francis Group 2020-01-01
Series:Cogent Mathematics & Statistics
Subjects:
Online Access:http://dx.doi.org/10.1080/25742558.2020.1761001