scientific article
From MaRDI portal
Publication:3416081
zbMath1111.68123MaRDI QIDQ3416081
Georgi D. Dimov, Dimiter Vakarelov
Publication date: 19 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proximity spacesequivalent categoriesqualitative spatial reasoningcontact algebrascontact relationsregion-based theories of space\(N\)-regular spacescompact (locally compact, completely regular) Hausdorff spacesfinite semiregular \(T_0\)-spacesmereological relationsOCE-regular spacesproximity modelsRCC modelssemiregular \(T_i\)-spacesweakly regular spaces
Related Items (21)
Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. ⋮ A variety of algebras closely related to subordination algebras ⋮ Admissibility and Unifiability in Contact Logics ⋮ Bounded distributive lattices with two subordinations ⋮ Boolean logics with relations ⋮ Boolean Logics with Relations ⋮ The Lattice of Contact Relations on a Boolean Algebra ⋮ GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ From contact relations to modal operators, and back ⋮ Topology and measure in logics for region-based theories of space ⋮ Point-free geometries: proximities and quasi-metrics ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Distributive contact lattices: topological representations ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Relational representation theorems for extended contact algebras ⋮ The lattice structure of \(\mathbf{L}\)-contact relations ⋮ Stone duality and Gleason covers through de Vries duality ⋮ Mereotopology without mereology ⋮ A calculus of regions respecting both measure and topology ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
This page was built for publication:
