Space, points and mereology. On foundations of point-free Euclidean geometry

MaRDI QIDQ3400302zbMATH OpenFDO

Authors Rafał Gruszczyński, Andrzej Pietruszczak

Publication date 5 February 2010

zbMATH Keywords

Euclidean geometrygeometry of solidsmereologypoint-free topology

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Mereological foundations of point-free geometry via multi-valued logic
• Multi-valued Logic for a Point-Free Foundation of Geometry
• scientific article; zbMATH DE number 269623
• Point-free foundation of geometry and multivalued logic
• Point-free continuum

Cited in

(26)

• Individuals and points
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Particle-free bodies and point-free spaces
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• Mereology on topological and convergence spaces
• A calculus of regions respecting both measure and topology
• Determinables, location, and indeterminacy
• Extended simples, unextended complexes
• Points in point-free mereotopology
• Mereological foundations of point-free geometry via multi-valued logic
• FULL MEREOGEOMETRIES
• Continuity of motion in Whitehead's geometrical space
• The relations of supremum and mereological sum in partially ordered sets
• Geometry Without Points
• The notion of the diameter of mereological ball in Tarski's geometry of solids
• A comparison of two systems of point-free topology
• ``The whole is greater than the part. Mereology in Euclid's \textit{Elements}
• Special issue on point-free geometry and topology. An introduction
• Spheres, cubes and simplexes in mereogeometry
• Point-free geometry, ovals, and half-planes
• Lesniewski, Tarski and the geometry of solids
• Are Points (Necessarily) Unextended?
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
• A monadic second-order version of Tarski's geometry of solids
• The multi-location trilemma
• Point-free foundation of geometry and multivalued logic

This page was built for publication: Space, points and mereology. On foundations of point-free Euclidean geometry

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