Article contents
POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES
Published online by Cambridge University Press: 23 January 2017
Abstract
In this paper we develop a point-free system of geometry based on the notions of region, parthood, and ovality, the last one being a region-based counterpart of the notion of convex set. In order to show that the system we propose is sufficient to reconstruct an affine geometry we make use of a theory of a Polish mathematician Aleksander Śniatycki from [15], in which the concept of half-plane is assumed as basic.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2017
References
BIBLIOGRAPHY
- 2
- Cited by