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

DOI10.12775/LLP.2015.019zbMATH Open1375.03017OpenAlexW2208448710MaRDI QIDQ2987754FDOQ2987754

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

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

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)

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)
• Boundaries, Continuity, and Contact
• Title not available (Why is that?)
• 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?)
• Geometry Without Points
• Title not available (Why is that?)
• Full Development of Tarski's Geometry of Solids
• Title not available (Why is that?)
• 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)