Axiomatizability of geometry without points

DOI10.1007/BF00485101MaRDI QIDQ2540886zbMATH OpenFDO

Authors Andrzej Grzegorczyk

Publication date 1960

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00485101

Cited in

(21)

• Dynamic logics of the region-based theory of discrete spaces
• FULL MEREOGEOMETRIES
• A proximity approach to some region-based theories of space
• A comparison of two systems of point-free topology
• Particle-free bodies and point-free spaces
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• The relations of supremum and mereological sum in partially ordered sets
• Regions-based two dimensional continua: the Euclidean case
• From contact relations to modal operators, and back
• Full Development of Tarski's Geometry of Solids
• Relation algebras and their application in temporal and spatial reasoning
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• A calculus of regions respecting both measure and topology
• A study in Grzegorczyk point-free topology. II: Spaces of points
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Contact join-semilattices
• Mereotopological connection
• Mereology then and now
• Relational representation theorems for extended contact algebras
• Continuity of motion in Whitehead's geometrical space

This page was built for publication: Axiomatizability of geometry without points

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