Boolean connection algebras: A new approach to the Region-Connection Calculus
From MaRDI portal
(Redirected from Publication:1583514)
Recommendations
Cites work
- scientific article; zbMATH DE number 3112450 (Why is no real title available?)
- scientific article; zbMATH DE number 4201689 (Why is no real title available?)
- scientific article; zbMATH DE number 4166929 (Why is no real title available?)
- scientific article; zbMATH DE number 4043327 (Why is no real title available?)
- scientific article; zbMATH DE number 3735759 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 19039 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 68517 (Why is no real title available?)
- scientific article; zbMATH DE number 3479762 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 1194943 (Why is no real title available?)
- scientific article; zbMATH DE number 1310971 (Why is no real title available?)
- scientific article; zbMATH DE number 749969 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- A boundary-sensitive approach to qualitative location
- A calculus of individuals based on 'connection'
- A logic for rough sets
- A relation-algebraic approach to the region connection calculus
- An algebraic approach to non-classical logics
- Connection structures
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Equational Classes of Distributive Pseudo-Complemented Lattices
- Individuals and points
- Mereotopology: A theory of parts and boundaries
- Ontologies for plane, polygonal mereotopology
- Parallel concepts in graph theory
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- Region-based topology
- Rough sets
- Rough sets in knowledge discovery 1. Methodology and applications
- THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
- The logical systems of Lesniewski
Cited in
(46)- Reducible Theories and Amalgamations of Models
- FULL MEREOGEOMETRIES
- A proximity approach to some region-based theories of space
- On the skeleton of Stonian p-ortholattices
- On the algebra of regular sets
- Complementation in representable theories of region-based space
- A modal and relevance logic for qualitative spatial reasoning
- Compact ICA-topobooleans and the Smirnov compactification theorem
- Region connection calculus: Its models and composition table
- Rudiments of rough sets
- On standard models of fuzzy region connection calculus
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- Pre-apartness structures on spaces of functions
- On topological consistency and realization
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- Qualitative reasoning
- Region-based theory of space: algebras of regions, representation theory, and logics
- A relation-algebraic approach to the region connection calculus
- Spatial relations between indeterminate regions
- Boolean logics with relations
- scientific article; zbMATH DE number 5033878 (Why is no real title available?)
- Logics for extended distributive contact lattices
- On redundant topological constraints
- On the complemented disk algebra
- A representation theorem for Boolean contact algebras
- A calculus of regions respecting both measure and topology
- A new perspective on the mereotopology of RCC8
- Boolean Logics with Relations
- RCC8 binary constraint network can be consistently extended
- A generalization of the Stone duality theorem
- Realizing RCC8 networks using convex regions
- On some meta-theoretic topological features of the region connection calculus
- Finitariness of elementary unification in Boolean region connection calculus
- Relational proof systems for spatial reasoning
- Reasoning about cardinal directions between extended objects
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- Extended contact algebras and internal connectedness
- Generalized region connection calculus
- Discrete mereotopology
- Combining topological and size information for spatial reasoning
- Extension properties of Boolean contact algebras
- Mereotopology without mereology
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
This page was built for publication: Boolean connection algebras: A new approach to the Region-Connection Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583514)
