Region-based theory of space: algebras of regions, representation theory, and logics
From MaRDI portal
Recommendations
Cited in
(41)- Dynamic contact algebras and quantifier-free logics for space and time
- Topology and measure in logics for region-based theories of space
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- Complementation in representable theories of region-based space
- Contact join-semilattices
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Relational representation theorems for extended contact algebras
- A calculus of regions respecting both measure and topology
- Extended contact algebras and internal connectedness
- A strict implication calculus for compact Hausdorff spaces
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Region-based theory of discrete spaces: A proximity approach
- Valueless measures on pointless spaces
- A categorical axiomatisation of region-based geometry
- Empiricism and rationalism in region-based theories of space
- Mereology then and now
- ``Theory of numbers of a complete region
- Contact logic is finitary for unification with constants
- Mereocompactness and Duality for Mereotopological Spaces
- scientific article; zbMATH DE number 5117074 (Why is no real title available?)
- scientific article; zbMATH DE number 5117075 (Why is no real title available?)
- Admissibility and Unifiability in Contact Logics
- Discrete dualities for some algebras with relations
- A mereotopology based on sequent algebras
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- Distributive mereotopology: extended distributive contact lattices
- On dimension andweight of a local contact algebra
- Subordination Tarski algebras
- Carving up space: steps towards construction of an absolutely complete theory of spatial regions
- Declarative spatial reasoning with Boolean combinations of axis-aligned rectangular polytopes
- Logics for extended distributive contact lattices
- Subordinations on bounded distributive lattices
- Relational representation for subordination Tarski algebras
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- Logics for contact and measure
- Logics for contact and measure
- A calculus for modal compact Hausdorff spaces
- Hypercontact semilattices
- On nondefinability of interior-connectedness via the contact relation
- A bitopological duality for some subordination Boolean algebras
- Distributive contact lattices: topological representations
This page was built for publication: Region-based theory of space: algebras of regions, representation theory, and logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3447202)
