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

DOI10.12775/LLP.2015.019MaRDI QIDQ2987754zbMATH OpenOpenAlexFDO

Authors Cristina Coppola, Giangiacomo Gerla

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

metric geometryfuzzy logicmulti-valued logicmereologycontinuous logicpoint-free geometrynaïve science

Mathematics Subject Classification ID

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

Recommendations

• Multi-valued Logic for a Point-Free Foundation of Geometry
• Point-free foundation of geometry and multivalued logic
• Point-free foundation of geometry looking at laboratory activities
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Quasi-metric spaces and point-free geometry

Cites work

• scientific article; zbMATH DE number 3864075 (Why is no real title available?)
• scientific article; zbMATH DE number 4093526 (Why is no real title available?)
• scientific article; zbMATH DE number 2067225 (Why is no real title available?)
• scientific article; zbMATH DE number 749969 (Why is no real title available?)
• scientific article; zbMATH DE number 1450227 (Why is no real title available?)
• scientific article; zbMATH DE number 3331438 (Why is no real title available?)
• Approximate similarities and Poincaré paradox
• Boundaries, Continuity, and Contact
• Continuous Model Theory. (AM-58)
• Continuous first order logic and local stability
• Full Development of Tarski's Geometry of Solids
• Geometry Without Points
• Metamathematics of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• Point-free foundation of geometry and multivalued logic
• Pointless metric spaces
• Quasi-metric spaces and point-free geometry
• Special issue on point-free geometry and topology. An introduction
• Whitehead's pointfree geometry and diametric posets

Cited in

(3)

• Point-free foundation of geometry and multivalued logic
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Multi-valued Logic for a Point-Free Foundation of Geometry

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

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