scientific article
From MaRDI portal
Publication:3416080
zbMath1111.68122MaRDI QIDQ3416080
Georgi D. Dimov, Dimiter Vakarelov
Publication date: 19 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
extensionscompletionrepresentation theoremsqualitative spatial reasoningcontact algebrascontact relationsregion-based theories of spacemereological relationsRCC models
Related Items (46)
Categorical extension of dualities: from Stone to de Vries and beyond. I ⋮ Dynamic contact algebras and quantifier-free logics for space and time ⋮ Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. ⋮ A variety of algebras closely related to subordination algebras ⋮ Admissibility and Unifiability in Contact Logics ⋮ Extension Properties of Boolean Contact Algebras ⋮ A generalization of the Stone duality theorem ⋮ Bounded distributive lattices with two subordinations ⋮ Base and weight of Boolean \(\mathrm{I}\)-contact algebras ⋮ Boolean logics with relations ⋮ On dimension andweight of a local contact algebra ⋮ A mereotopology based on sequent algebras ⋮ Boolean Logics with Relations ⋮ The Lattice of Contact Relations on a Boolean Algebra ⋮ GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ From contact relations to modal operators, and back ⋮ Remarks on contact relations on Boolean algebras ⋮ Discrete dualities for some algebras with relations ⋮ Relational representation for subordination Tarski algebras ⋮ 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 ⋮ Topology and measure in logics for region-based theories of space ⋮ Valueless measures on pointless spaces ⋮ Categorical extension of dualities: from Stone to de Vries and beyond. II ⋮ Complementation in representable theories of region-based space ⋮ Logics for extended distributive contact lattices ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Distributive contact lattices: topological representations ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Algebraic Methods for Granular Rough Sets ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Relational representation theorems for extended contact algebras ⋮ The lattice structure of \(\mathbf{L}\)-contact relations ⋮ Stone duality and Gleason covers through de Vries duality ⋮ Mereotopology without mereology ⋮ A calculus of regions respecting both measure and topology ⋮ Some generalizations of Fedorchuk duality theorem-I ⋮ Extended contact algebras and internal connectedness ⋮ Subordination Tarski algebras ⋮ A generalization of de Vries duality theorem ⋮ A study in Grzegorczyk point-free topology. II: Spaces of points ⋮ Contact join-semilattices ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
This page was built for publication:
