Point-free foundation of geometry and multivalued logic

DOI10.1215/00294527-2010-024zbMath1194.03019OpenAlexW2107628822MaRDI QIDQ989422

Cristina Coppola, Giangiacomo Gerla, Annamaria Miranda

Publication date: 20 August 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-024

zbMATH Keywords

multi-valued logiccontact relationWhiteheadpoint-free geometryextension relationfoundation of geometryinclusion spaces of regions

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Metric spaces, metrizability (54E35) Foundations of classical theories (including reverse mathematics) (03B30) Many-valued logic (03B50)

Related Items (3)

Point-free foundation of geometry looking at laboratory activities ⋮ Mereological foundations of point-free geometry via multi-valued logic ⋮ Multi-valued Logic for a Point-Free Foundation of Geometry

This page was built for publication: Point-free foundation of geometry and multivalued logic