A representation theorem for Boolean contact algebras
From MaRDI portal
(Redirected from Publication:2581369)
Recommendations
Cites work
- scientific article; zbMATH DE number 3581219 (Why is no real title available?)
- scientific article; zbMATH DE number 3600759 (Why is no real title available?)
- scientific article; zbMATH DE number 2202279 (Why is no real title available?)
- scientific article; zbMATH DE number 3328048 (Why is no real title available?)
- A calculus of individuals based on 'connection'
- A complete axiom system for polygonal mereotopology of the real plane
- A proximity approach to some region-based theories of space
- A relation-algebraic approach to the region connection calculus
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Connection structures
- Continuous lattices and Whiteheadian theory of space
- Expressivity in polygonal, plane mereotopology
- Generalized region connection calculus
- Minimally generated Boolean algebras
- Real functions and near-normal spaces
- Region connection calculus: Its models and composition table
- Region-based topology
Cited in
(49)- SUBSTRUCTURAL INQUISITIVE LOGICS
- 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
- Complementation in representable theories of region-based space
- scientific article; zbMATH DE number 2202279 (Why is no real title available?)
- Admissibility and Unifiability in Contact Logics
- Compact ICA-topobooleans and the Smirnov compactification theorem
- The lattice structure of \(\mathbf{L}\)-contact relations
- On standard models of fuzzy region connection calculus
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- Boolean Algebras and Stone Maps in Schröder Categories
- On topological consistency and realization
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- Boolean logics with relations
- From contact relations to modal operators, and back
- 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 de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- Remarks on contact relations on Boolean algebras
- Base and weight of Boolean \(\mathrm{I}\)-contact algebras
- A new perspective on the mereotopology of RCC8
- Boolean Logics with Relations
- RCC8 binary constraint network can be consistently extended
- Logics for contact and measure
- Logics for contact and measure
- A generalization of the Stone duality theorem
- Some generalizations of Fedorchuk duality theorem-I
- On some meta-theoretic topological features of the region connection calculus
- 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
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Subordinations on bounded distributive lattices
- Topological Representation of 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
- 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)
