Multi-valued Logic for a Point-Free Foundation of Geometry
From MaRDI portal
Publication:3295804
DOI10.1007/978-3-319-05356-1_5zbMATH Open1436.03152OpenAlexW7383MaRDI QIDQ3295804FDOQ3295804
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
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
Many-valued logic (03B50) Metric spaces, metrizability (54E35) Foundations of classical theories (including reverse mathematics) (03B30) Other applications of logic (03B80)
Cites Work
- On Fuzzy Logic I Many‐valued rules of inference
- Metamathematics of fuzzy logic
- Continuous first order logic and local stability
- Title not available (Why is that?)
- Continuous Model Theory. (AM-58)
- Title not available (Why is that?)
- Pointless metric spaces
- Approximate similarities and Poincaré paradox
- Quasi-metric spaces and point-free geometry
- Point-free foundation of geometry and multivalued logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Whitehead's pointfree geometry and diametric posets
Cited In (4)
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)
