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 geometrypoint-free topologymereologygeometry of solids

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

(23)

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

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)