Multi-valued Logic for a Point-Free Foundation of Geometry

DOI10.1007/978-3-319-05356-1_5zbMath1436.03152OpenAlexW7383MaRDI QIDQ3295804

Cristina Coppola, Giangiacomo Gerla

Publication date: 13 July 2020

Published in: Mereology and the Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05356-1_5

zbMATH Keywords

multivalued logicpoint-free geometrysequence abstractiongradual inclusioninclusive space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Foundations of classical theories (including reverse mathematics) (03B30) Many-valued logic (03B50) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximate similarities and Poincaré paradox
• Point-free foundation of geometry and multivalued logic
• Metamathematics of fuzzy logic
• Continuous first order logic and local stability
• On Fuzzy Logic I Many‐valued rules of inference
• Whitehead's pointfree geometry and diametric posets
• Quasi-metric spaces and point-free geometry
• Continuous Model Theory. (AM-58)
• Pointless metric spaces

This page was built for publication: Multi-valued Logic for a Point-Free Foundation of Geometry