Point-free foundation of geometry and multivalued logic
From MaRDI portal
Recommendations
- Multi-valued Logic for a Point-Free Foundation of Geometry
- Mereological foundations of point-free geometry via multi-valued logic
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Point-free foundation of geometry looking at laboratory activities
- Space, points and mereology. On foundations of point-free Euclidean geometry
Cited in
(12)- scientific article; zbMATH DE number 4120169 (Why is no real title available?)
- Whitehead's mereotopology and the project of formal ontology
- A comparison of two systems of point-free topology
- Whitehead and Russell on points
- Point-free geometry, ovals, and half-planes
- Space, points and mereology. On foundations of point-free Euclidean geometry
- Point-free foundation of geometry looking at laboratory activities
- Special issue on point-free geometry and topology. An introduction
- Multi-valued Logic for a Point-Free Foundation of Geometry
- Mereological foundations of point-free geometry via multi-valued logic
- Points as higher-order constructs: Whitehead's method of extensive abstraction
- Forking geometry on theories with an independent predicate
This page was built for publication: Point-free foundation of geometry and multivalued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q989422)
