scientific article; zbMATH DE number 5117074
From MaRDI portal
Publication:3416080
Recommendations
- scientific article; zbMATH DE number 5117075
- A proximity approach to some region-based theories of space
- Region-based theory of space: algebras of regions, representation theory, and logics
- scientific article; zbMATH DE number 1735905
- Some remarks on space with a certain contact structure
- Region-based theory of discrete spaces: A proximity approach
- Contact integral geometry and the Heisenberg algebra
- Contact structures on Lie algebroids
- \(L_\infty\)-algebras from multicontact geometry
- Contact twistor spaces and almost contact metric structures
Cited in
(62)- Empiricism and rationalism in region-based theories of space
- On dimension andweight of a local contact algebra
- Elementary polyhedral mereotopology
- Discrete dualities for some algebras with relations
- A categorical axiomatisation of region-based geometry
- A proximity approach to some region-based theories of space
- scientific article; zbMATH DE number 1735905 (Why is no real title available?)
- Dynamic contact algebras and quantifier-free logics for space and time
- Primal-proximity spaces
- Computable contact algebras
- Stone duality and Gleason covers through de Vries duality
- Complementation in representable theories of region-based space
- Admissibility and Unifiability in Contact Logics
- Compact ICA-topobooleans and the Smirnov compactification theorem
- Categorical extension of dualities: from Stone to de Vries and beyond. I
- Extensions of dualities and a new approach to the Fedorchuk duality
- The lattice structure of \(\mathbf{L}\)-contact relations
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- scientific article; zbMATH DE number 5117075 (Why is no real title available?)
- Bounded distributive lattices with two subordinations
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- A variety of algebras closely related to subordination algebras
- Region-based theory of space: algebras of regions, representation theory, and logics
- Boolean logics with relations
- From contact relations to modal operators, and back
- Algebraic methods for granular rough sets
- Mereocompactness and Duality for Mereotopological Spaces
- Logics for extended distributive contact lattices
- 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
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. II
- Remarks on contact relations on Boolean algebras
- Subordination Tarski algebras
- Base and weight of Boolean \(\mathrm{I}\)-contact algebras
- A calculus of regions respecting both measure and topology
- Boolean Logics with Relations
- A study in Grzegorczyk point-free topology. II: Spaces of points
- A generalization of the Stone duality theorem
- Some generalizations of Fedorchuk duality theorem-I
- A generalization of de Vries duality theorem
- A calculus for modal compact Hausdorff spaces
- On some meta-theoretic topological features of the region connection calculus
- A mereotopology based on sequent algebras
- A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
- The Lattice of Contact Relations on a Boolean Algebra
- Valueless measures on pointless spaces
- Relational proof systems for spatial reasoning
- Topology and measure in logics for region-based theories of space
- Categorical extension of dualities: from Stone to de Vries and beyond. II
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Topological Representation of Contact Lattices
- Relational representation theorems for extended contact algebras
- Relational representation for subordination Tarski algebras
- Extended contact algebras and internal connectedness
- Contact logic is finitary for unification with constants
- Distributive contact lattices: topological representations
- Extension properties of Boolean contact algebras
- Mereotopology without mereology
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
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 Q3416080)
