scientific article; zbMATH DE number 5117075
From MaRDI portal
Publication:3416081
\(N\)-regular spacescompact (locally compact, completely regular) Hausdorff spacescontact algebrascontact relationsequivalent categoriesfinite semiregular \(T_0\)-spacesmereological relationsOCE-regular spacesproximity modelsproximity spacesqualitative spatial reasoningRCC modelsregion-based theories of spacesemiregular \(T_i\)-spacesweakly regular spaces
Recommendations
- scientific article; zbMATH DE number 5117074
- A proximity approach to some region-based theories of space
- Contact integral geometry and the Heisenberg algebra
- Some remarks on space with a certain contact structure
- scientific article; zbMATH DE number 1735905
- Region-based theory of discrete spaces: A proximity approach
- Region-based theory of space: algebras of regions, representation theory, and logics
- Contact structures on Lie algebroids
- Contact twistor spaces and almost contact metric structures
- Contact geometry of second order. II
Cited in
(31)- Region-based topology
- Topology and measure in logics for region-based theories of space
- The lattice structure of \(\mathbf{L}\)-contact relations
- Point-free geometries: proximities and quasi-metrics
- Extensions of dualities and a new approach to the Fedorchuk duality
- Relational representation theorems for extended contact algebras
- A calculus of regions respecting both measure and topology
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- Region-based theory of discrete spaces: A proximity approach
- Bounded distributive lattices with two subordinations
- 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?)
- Region-based theory of space: algebras of regions, representation theory, and logics
- Admissibility and Unifiability in Contact Logics
- Boolean Logics with Relations
- The Lattice of Contact Relations on a Boolean Algebra
- A proximity approach to some region-based theories of space
- A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
- A variety of algebras closely related to subordination algebras
- Computable contact algebras
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- Boolean logics with relations
- From contact relations to modal operators, and back
- On some meta-theoretic topological features of the region connection calculus
- Primal-proximity spaces
- Compact ICA-topobooleans and the Smirnov compactification theorem
- Distributive contact lattices: topological representations
- Stone duality and Gleason covers through de Vries duality
- Mereotopology without mereology
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3416081)
