Extended contact algebras and internal connectedness
From MaRDI portal
Publication:2307301
DOI10.1007/S11225-019-09845-6zbMATH Open1484.06048OpenAlexW2912345257MaRDI QIDQ2307301FDOQ2307301
Authors: Tatyana B. Ivanova
Publication date: 27 March 2020
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-019-09845-6
Recommendations
contact algebrastopological representationmereotopologypoint-free theory of spaceextended contact algebrasinternal connectedness
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of Spatial Logics
- Proximity structures and grills
- Qualitative spatial representation and reasoning: An overview
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Title not available (Why is that?)
- Region-based theory of space: algebras of regions, representation theory, and logics
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Real functions and near-normal spaces
- A proximity approach to some region-based theories of space
- Title not available (Why is that?)
- Special issue: Qualitative spatial reasoning
- A topological constraint language with component counting
- Spatial logics with connectedness predicates
- Topology, connectedness, and modal logic
- Logics of space with connectedness predicates: complete axiomatizations
- Topological logics with connectedness over Euclidean spaces
- A mereotopology based on sequent algebras
- Empiricism and rationalism in region-based theories of space
- On the Computational Complexity of Spatial Logics with Connectedness Constraints
Cited In (6)
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- A representation theorem for Boolean contact algebras
- Extremal algebraic connectivities of certain caterpillar classes and symmetric caterpillars
- Contact join-semilattices
- Relational representation theorems for extended contact algebras
- Extension properties of Boolean contact algebras
This page was built for publication: Extended contact algebras and internal connectedness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2307301)