Publication:3416081

zbMATH Open1111.68123MaRDI QIDQ3416081FDOQ3416081

Dimiter Vakarelov, Georgi D. Dimov

Publication date: 19 January 2007

Title of this publication is not available (Why is that?)

zbMATH Keywords

qualitative spatial reasoningcontact algebrasproximity spacesequivalent categoriescontact relationsregion-based theories of space\(N\)-regular spacescompact (locally compact, completely regular) Hausdorff spacesfinite semiregular \(T_0\)-spacesmereological relationsOCE-regular spacesproximity modelsRCC modelssemiregular \(T_i\)-spacesweakly regular spaces

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Proximity structures and generalizations (54E05)

Cited In (24)

• Title not available (Why is that?)
• Stone duality and Gleason covers through de Vries duality
• Admissibility and Unifiability in Contact Logics
• Contact Logic is Finitary for Unification with Constants
• Extensions of dualities and a new approach to the Fedorchuk duality
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
• The lattice structure of \(\mathbf{L}\)-contact relations
• Bounded distributive lattices with two subordinations
• A variety of algebras closely related to subordination algebras
• Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
• From contact relations to modal operators, and back
• Boolean logics with relations
• Mereocompactness and Duality for Mereotopological Spaces
• A calculus of regions respecting both measure and topology
• Boolean Logics with Relations
• On some meta-theoretic topological features of the region connection calculus
• A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
• The Lattice of Contact Relations on a Boolean Algebra
• Topology and measure in logics for region-based theories of space
• Relational representation theorems for extended contact algebras
• Point-free geometries: proximities and quasi-metrics
• Distributive contact lattices: topological representations
• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
• Mereotopology without mereology

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Some remarks on space with a certain contact structure 👍 👎
• Contact twistor spaces and almost contact metric structures 👍 👎
• Region-based theory of discrete spaces: A proximity approach 👍 👎
• A Proximity Approach to Some Region-Based Theories of Space 👍 👎
• Contact integral geometry and the Heisenberg algebra 👍 👎
• Contact structures on Lie algebroids 👍 👎
• Contact geometry of second order. II 👍 👎

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)