A Proximity Approach to Some Region-Based Theories of Space
DOI10.3166/JANCL.12.527-559zbMATH Open1185.68682OpenAlexW2076716128MaRDI QIDQ3647306
Brandon Bennett, Ivo Düntsch, Georgi D. Dimov, Dimiter Vakarelov
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.12.527-559
proximity spacesconnection relationconnection algebralocal connection algebralocal proximity spacesMVD-algebrapointless geometry
Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Proximity structures and generalizations (54E05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Minimally generated Boolean algebras
- Proximity structures and grills
- Local proximity spaces
- The calculus of individuals and its uses
- Individuals and points
- A calculus of individuals based on 'connection'
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- A necessary relation algebra for mereotopology
- Region-based topology
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Axiomatizability of geometry without points
- Connection structures
- Continuous lattices and Whiteheadian theory of space
- Some classes of projective Boolean algebras
Cited In (33)
- On dimension andweight of a local contact algebra
- A generalization of Gelfand-Naimark-Stone duality to completely regular spaces
- An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces
- Title not available (Why is that?)
- Dynamic logics of the region-based theory of discrete spaces
- Stone duality and Gleason covers through de Vries duality
- Relational proof systems for spatial reasoning ★
- Extension Properties of Boolean Contact Algebras
- Categorical extension of dualities: from Stone to de Vries and beyond. I
- Title not available (Why is that?)
- A variety of algebras closely related to subordination algebras
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- From contact relations to modal operators, and back
- Boolean logics with relations
- Logics for extended distributive contact lattices
- Region-based theory of discrete spaces: A proximity approach
- New work for Carnap's quasi-analysis
- Title not available (Why is that?)
- A discrete duality between apartness algebras and apartness frames
- A representation theorem for Boolean contact algebras
- 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
- Boolean Logics with Relations
- Some generalizations of Fedorchuk duality theorem-I
- A generalization of de Vries duality theorem
- Categorical extension of dualities: from Stone to de Vries and beyond. II
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Extended contact algebras and internal connectedness
- An extension of de Vries duality to completely regular spaces and compactifications
- Distributive contact lattices: topological representations
- Mereotopology without mereology
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
This page was built for publication: A Proximity Approach to Some Region-Based Theories of Space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647306)
