A representation theorem for Boolean contact algebras
From MaRDI portal
Publication:2581369
DOI10.1016/J.TCS.2005.06.030zbMATH Open1085.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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Minimally generated Boolean algebras
- A calculus of individuals based on 'connection'
- Region connection calculus: Its models and composition table
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- A relation-algebraic approach to the region connection calculus
- Real functions and near-normal spaces
- A Proximity Approach to Some Region-Based Theories of Space
- Region-based topology
- Connection structures
- Generalized region connection calculus
- A complete axiom system for polygonal mereotopology of the real plane
- Continuous lattices and Whiteheadian theory of space
- Expressivity in polygonal, plane mereotopology
Cited In (43)
- On dimension andweight of a local contact algebra
- Discrete dualities for some algebras with relations
- A New Perspective on the Mereotopology of RCC8.
- Contact, closure, topology, and the linking of row and column types of relations
- On the algebra of regular sets
- Title not available (Why is that?)
- Complementation in representable theories of region-based space
- Admissibility and Unifiability in Contact Logics
- Contact Logic is Finitary for Unification with Constants
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- The lattice structure of \(\mathbf{L}\)-contact relations
- On standard models of fuzzy region connection calculus
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- Boolean Algebras and Stone Maps in Schröder Categories
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- On topological consistency and realization
- From contact relations to modal operators, and back
- Boolean logics with relations
- Mereocompactness and Duality for Mereotopological Spaces
- Logics for extended distributive contact lattices
- Relation algebras and their application in temporal and spatial reasoning
- Region-based theory of discrete spaces: A proximity approach
- Remarks on contact relations on Boolean algebras
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- Boolean Logics with Relations
- RCC8 binary constraint network can be consistently extended
- A generalization of the Stone duality theorem
- On some meta-theoretic topological features of the region connection calculus
- Some generalizations of Fedorchuk duality theorem-I
- A mereotopology based on sequent algebras
- The intuitionistic temporal logic of dynamical systems
- A Boolean action of \(C(M, U(1))\) without a spatial model and a re-examination of the Cameron-Martin theorem
- The Lattice of Contact Relations on a Boolean Algebra
- Valueless measures on pointless spaces
- Topology and measure in logics for region-based theories of space
- Subordinations on bounded distributive lattices
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Relational representation theorems for extended contact algebras
- Extended contact algebras and internal connectedness
- Distributive contact lattices: topological representations
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
This page was built for publication: A representation theorem for Boolean contact algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2581369)
