Region-based theory of space: algebras of regions, representation theory, and logics
From MaRDI portal
Publication:3447202
Recommendations
Cited in
(36)- Empiricism and rationalism in region-based theories of space
- On dimension andweight of a local contact algebra
- scientific article; zbMATH DE number 5117074 (Why is no real title available?)
- Discrete dualities for some algebras with relations
- A categorical axiomatisation of region-based geometry
- Dynamic contact algebras and quantifier-free logics for space and time
- Complementation in representable theories of region-based space
- Admissibility and Unifiability in Contact Logics
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- scientific article; zbMATH DE number 5117075 (Why is no real title available?)
- Carving up space: steps towards construction of an absolutely complete theory of spatial regions
- Mereocompactness and Duality for Mereotopological Spaces
- ``Theory of numbers of a complete region
- Logics for extended distributive contact lattices
- A strict implication calculus for compact Hausdorff spaces
- 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
- Subordination Tarski algebras
- A calculus of regions respecting both measure and topology
- A calculus for modal compact Hausdorff spaces
- A mereotopology based on sequent algebras
- Declarative spatial reasoning with Boolean combinations of axis-aligned rectangular polytopes
- 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
- Mereology then and now
- Relational representation theorems for extended contact algebras
- Relational representation for subordination Tarski algebras
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Extended contact algebras and internal connectedness
- Contact logic is finitary for unification with constants
- Distributive contact lattices: topological representations
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
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)