Pages that link to "Item:Q1583514"
From MaRDI portal
The following pages link to Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514):
Displayed 37 items.
- On standard models of fuzzy region connection calculus (Q433513) (← links)
- Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
- Boolean logics with relations (Q604451) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Generalized region connection calculus (Q814636) (← links)
- On the complemented disk algebra (Q817585) (← links)
- On topological consistency and realization (Q850454) (← links)
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- Rudiments of rough sets (Q867594) (← links)
- On redundant topological constraints (Q891795) (← links)
- Mereotopology without mereology (Q975781) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- On the algebra of regular sets (Q1926594) (← links)
- Complementation in representable theories of region-based space (Q1949166) (← links)
- Contact join-semilattices (Q2082255) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I (Q2342312) (← links)
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. (Q2363289) (← links)
- A generalization of the Stone duality theorem (Q2400865) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- Realizing RCC8 networks using convex regions (Q2512988) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Discrete Mereotopology (Q3295808) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- A Proximity Approach to Some Region-Based Theories of Space (Q3647306) (← links)
- A New Perspective on the Mereotopology of RCC8. (Q4580234) (← links)
- Logics for extended distributive contact lattices (Q5375878) (← links)
- Reducible Theories and Amalgamations of Models (Q5875951) (← links)
- Spatial relations between indeterminate regions (Q5944534) (← links)
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS (Q6041348) (← links)