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

DOI10.1007/978-3-319-05356-1_5MaRDI QIDQ3295804zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Point-free foundation of geometry and multivalued logic
• Mereological foundations of point-free geometry via multi-valued logic
• The Modal Multilogic of Geometry
• Geometric issues in the algebraic theory of many valued logics.
• scientific article; zbMATH DE number 3863195
• Point-free geometry and verisimilitude of theories
• Geometric Models for Relevant Logics
• The geometry of non-distributive logics
• scientific article; zbMATH DE number 4120169
• Zariski geometries. Geometry from the logician's point of view

Cites work

• 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 3331438 (Why is no real title available?)
• Approximate similarities and Poincaré paradox
• Continuous Model Theory. (AM-58)
• Continuous first order logic and local stability
• 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
• Whitehead's pointfree geometry and diametric posets

Cited in

(4)

• Point-free foundation of geometry and multivalued logic
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Mereological foundations of point-free geometry via multi-valued logic
• Forking geometry on theories with an independent predicate

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

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