A representation theorem for Boolean contact algebras

DOI10.1016/J.TCS.2005.06.030zbMATH Open1085.03046OpenAlexW2057923867MaRDI QIDQ2581369FDOQ2581369

Authors: Michael Winter, Ivo Düntsch 

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

Recommendations

• Topological Representation of Contact Lattices
• Remarks on contact relations on Boolean algebras
• Distributive contact lattices: topological representations
• Extended contact algebras and internal connectedness
• Relational Methods in Computer Science

zbMATH Keywords

Qualitative spatial reasoningRegion connection calculusBoolean contact algebrasTopological representation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimally generated Boolean algebras
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

Cited In (46)

• On dimension andweight of a local contact algebra
• Discrete dualities for some algebras with relations
• 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
• 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
• Relational Methods in Computer Science
• Relation algebras and their application in temporal and spatial reasoning
• Region-based theory of discrete spaces: A proximity approach
• A new perspective on the mereotopology of RCC8
• Remarks on contact relations on Boolean algebras
• Base and weight of Boolean \(\mathrm{I}\)-contact 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
• Topological Representation of Contact Lattices
• Distributive mereotopology: extended distributive contact lattices
• Relational representation theorems for extended contact algebras
• Extended contact algebras and internal connectedness
• Contact logic is finitary for unification with constants
• 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)