Relational Methods in Computer Science
From MaRDI portal
Publication:5899303
DOI10.1007/11734673zbMath1185.68665OpenAlexW2482623798MaRDI QIDQ5899303
Georgi D. Dimov, Dimiter Vakarelov
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11734673
Logic in artificial intelligence (68T27) Proximity structures and generalizations (54E05) Logical aspects of Boolean algebras (03G05)
Related Items (13)
Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. ⋮ A variety of algebras closely related to subordination algebras ⋮ A generalization of the Stone duality theorem ⋮ Bounded distributive lattices with two subordinations ⋮ On dimension andweight of a local contact algebra ⋮ The Lattice of Contact Relations on a Boolean Algebra ⋮ Subordinations on bounded distributive lattices ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Distributive contact lattices: topological representations ⋮ Irreducible equivalence relations, Gleason spaces, and de Vries duality ⋮ A calculus of regions respecting both measure and topology ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
This page was built for publication: Relational Methods in Computer Science
