POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES

DOI10.1017/S1755020316000423zbMath1368.03017OpenAlexW2582257141MaRDI QIDQ5274877

Giangiacomo Gerla, Rafał Gruszczyński

Publication date: 6 July 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020316000423

zbMATH Keywords

affine geometryconvexityBoolean algebrasmereologyfoundations of geometrypoint-free geometry

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Axiomatic and generalized convexity (52A01) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Non-Desarguesian affine and projective planes (51A35)

Related Items (3)

Are Points (Necessarily) Unextended? ⋮ Defining Measures in a Mereological Space (an exploratory paper) ⋮ Point-free foundation of geometry looking at laboratory activities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamental results for pointfree convex geometry
• A complete axiom system for polygonal mereotopology of the real plane
• Regions-based two dimensional continua: The Euclidean case
• On the Computability of Region-Based Euclidean Logics
• Expressivity in polygonal, plane mereotopology
• Full Development of Tarski's Geometry of Solids
• Pointless metric spaces

This page was built for publication: POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES