We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
We suggest possible approaches to point-free geometry based on multi-valued logic. The idea is to assume as primitives the notion of a region together with suitable vague predicates whose meaning is geometrical in nature, e.g. ‘close’, ‘small’, ‘contained’. Accordingly, some first-order multi-valued theories are proposed. We show that, given a multi-valued model of one of these theories, by a suitable definition of point and distance we can construct a metrical space in a natural way. Taking into account that interesting metrical approaches to geometry exist, this looks to be promising for a point-free foundation of the notion of space. We hope also that this way to face point-free geometry provides a tool to illustrate the passage from a naïve and ‘qualitative’ approach to geometry to the ‘quantitative’ approach of advanced science
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.