Point-free foundation of geometry looking at laboratory activities

DOI10.1080/25742558.2020.1761001MaRDI QIDQ5133993zbMATH OpenOpenAlexFDO

Authors Giangiacomo Gerla, Annamaria Miranda

Publication date 11 November 2020

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

theoryconvexaxiomspointregularpoint-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)

Recommendations

• Point-free continuum
• Point-free geometry, ovals, and half-planes
• scientific article; zbMATH DE number 30503
• scientific article; zbMATH DE number 1368680
• Minimal foundations of geometry

Cites work

• scientific article; zbMATH DE number 2067225 (Why is no real title available?)
• scientific article; zbMATH DE number 3232615 (Why is no real title available?)
• scientific article; zbMATH DE number 3258044 (Why is no real title available?)
• scientific article; zbMATH DE number 3263823 (Why is no real title available?)
• scientific article; zbMATH DE number 3331438 (Why is no real title available?)
• A calculus of regions respecting both measure and topology
• Full Development of Tarski's Geometry of Solids
• Fuzzy logic. Mathematical tools for approximate reasoning
• Groups and plane geometry
• Point-free foundation of geometry and multivalued logic
• Point-free geometry, ovals, and half-planes
• Pointless metric spaces
• Quasi-metric spaces and point-free geometry
• Subspace confinement for switched linear systems

Cited in

(8)

• Point-free continuum
• Point-free foundation of geometry and multivalued logic
• Point-free geometry, ovals, and half-planes
• Exploring Perpendicularity and Parallelism Through Play
• Mereological foundations of point-free geometry via multi-valued logic
• Operational approach to the topological structure of the physical space
• Measures in Euclidean point-free geometry (an exploratory paper)
• Point-free geometries: proximities and quasi-metrics

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

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