Mereological foundations of point-free geometry via multi-valued logic

DOI10.12775/LLP.2015.019zbMath1375.03017OpenAlexW2208448710MaRDI QIDQ2987754

Giangiacomo Gerla, Cristina Coppola

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2015.019

zbMATH Keywords

fuzzy logicmereologymetric geometrymulti-valued logiccontinuous logicpoint-free geometrynaïve science

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Philosophical and critical aspects of logic and foundations (03A05) Metric geometry (51F99) Foundations of classical theories (including reverse mathematics) (03B30) Many-valued logic (03B50)

Cites Work

• Approximate similarities and Poincaré paradox
• Point-free foundation of geometry and multivalued logic
• Metamathematics of fuzzy logic
• Continuous first order logic and local stability
• Geometry Without Points
• On Fuzzy Logic I Many‐valued rules of inference
• Special Issue on point-free geometry and topology. An introduction
• Whitehead's pointfree geometry and diametric posets
• Boundaries, Continuity, and Contact
• Quasi-metric spaces and point-free geometry
• Full Development of Tarski's Geometry of Solids
• Continuous Model Theory. (AM-58)
• Pointless metric spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mereological foundations of point-free geometry via multi-valued logic