Point-free geometry, ovals, and half-planes

DOI10.1017/S1755020316000423MaRDI QIDQ5274877zbMATH OpenOpenAlexFDO

Authors 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

convexitymereologyBoolean algebrasaffine geometryfoundations of geometrypoint-free geometry

Mathematics Subject Classification ID

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

Recommendations

• Point-free continuum
• Point-free foundation of geometry looking at laboratory activities
• Special issue on point-free geometry and topology. An introduction
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Point-free foundation of geometry and multivalued logic

Cites work

• scientific article; zbMATH DE number 439012 (Why is no real title available?)
• scientific article; zbMATH DE number 3263823 (Why is no real title available?)
• scientific article; zbMATH DE number 3061373 (Why is no real title available?)
• A complete axiom system for polygonal mereotopology of the real plane
• An axiom system for a spatial logic with convexity
• Expressivity in polygonal, plane mereotopology
• Full Development of Tarski's Geometry of Solids
• Fundamental results for pointfree convex geometry
• On the computability of region-based Euclidean logics
• Pointless metric spaces
• Regions-based two dimensional continua: the Euclidean case

Cited in

(7)

• scientific article; zbMATH DE number 53298 (Why is no real title available?)
• On projectively invariant points of an oval with a distinguished exterior line
• Point-free foundation of geometry looking at laboratory activities
• scientific article; zbMATH DE number 139865 (Why is no real title available?)
• Are Points (Necessarily) Unextended?
• Defining Measures in a Mereological Space (an exploratory paper)
• Measures in Euclidean point-free geometry (an exploratory paper)

This page was built for publication: Point-free geometry, ovals, and half-planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5274877)