A representation theorem for Boolean contact algebras
From MaRDI portal
Publication:2581369
DOI10.1016/j.tcs.2005.06.030zbMath1085.03046OpenAlexW2057923867MaRDI QIDQ2581369
Publication date: 10 January 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.030
Qualitative spatial reasoningRegion connection calculusBoolean contact algebrasTopological representation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (40)
Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. ⋮ Admissibility and Unifiability in Contact Logics ⋮ On topological consistency and realization ⋮ Region-based theory of discrete spaces: A proximity approach ⋮ A generalization of the Stone duality theorem ⋮ Boolean logics with relations ⋮ On dimension andweight of a local contact algebra ⋮ On the algebra of regular sets ⋮ A mereotopology based on sequent algebras ⋮ Boolean Logics with Relations ⋮ The Lattice of Contact Relations on a Boolean Algebra ⋮ Boolean Algebras and Stone Maps in Schröder Categories ⋮ GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ From contact relations to modal operators, and back ⋮ Remarks on contact relations on Boolean algebras ⋮ Discrete dualities for some algebras with relations ⋮ Subordinations on bounded distributive lattices ⋮ A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I ⋮ Topology and measure in logics for region-based theories of space ⋮ Valueless measures on pointless spaces ⋮ On standard models of fuzzy region connection calculus ⋮ Complementation in representable theories of region-based space ⋮ Logics for extended distributive contact lattices ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Distributive contact lattices: topological representations ⋮ Contact Logic is Finitary for Unification with Constants ⋮ RCC8 binary constraint network can be consistently extended ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Relational representation theorems for extended contact algebras ⋮ The lattice structure of \(\mathbf{L}\)-contact relations ⋮ A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures ⋮ Contact, closure, topology, and the linking of row and column types of relations ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ Some generalizations of Fedorchuk duality theorem-I ⋮ Extended contact algebras and internal connectedness ⋮ A New Perspective on the Mereotopology of RCC8. ⋮ Contact join-semilattices ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Region connection calculus: Its models and composition table
- Generalized region connection calculus
- Minimally generated Boolean algebras
- A calculus of individuals based on 'connection'
- Connection structures
- A complete axiom system for polygonal mereotopology of the real plane
- Region-based topology
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Real functions and near-normal spaces
- Continuous lattices and Whiteheadian theory of space
- A Proximity Approach to Some Region-Based Theories of Space
- Expressivity in polygonal, plane mereotopology
- A relation-algebraic approach to the region connection calculus
This page was built for publication: A representation theorem for Boolean contact algebras
