Point-free foundation of geometry looking at laboratory activities

DOI10.1080/25742558.2020.1761001zbMath1456.51009OpenAlexW3023114188MaRDI QIDQ5133993

Giangiacomo Gerla, Annamaria Miranda

Publication date: 11 November 2020

Published in: Cogent Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/25742558.2020.1761001

zbMATH Keywords

convexregulartheoryaxiomspointpoint-free geometryregionlaboratory activitiesre-half-planes

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) Plane and solid geometry (educational aspects) (97G40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Subspace confinement for switched linear systems
• Groups and plane geometry
• Point-free foundation of geometry and multivalued logic
• A calculus of regions respecting both measure and topology
• POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES
• Quasi-metric spaces and point-free geometry
• Full Development of Tarski's Geometry of Solids
• Pointless metric spaces
• Fuzzy logic. Mathematical tools for approximate reasoning

This page was built for publication: Point-free foundation of geometry looking at laboratory activities