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
(13)- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Forking geometry on theories with an independent predicate
- Whitehead's mereotopology and the project of formal ontology
- Mereological foundations of point-free geometry via multi-valued logic
- Multi-valued Logic for a Point-Free Foundation of Geometry
- Space, points and mereology. On foundations of point-free Euclidean geometry
- A comparison of two systems of point-free topology
- scientific article; zbMATH DE number 4120169 (Why is no real title available?)
- Whitehead and Russell on points
- Special issue on point-free geometry and topology. An introduction
- Point-free foundation of geometry looking at laboratory activities
- Points as higher-order constructs: Whitehead's method of extensive abstraction
- Point-free geometry, ovals, and half-planes
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)
