Distributive contact lattices: topological representations
From MaRDI portal
Publication:929965
DOI10.1016/j.jlap.2007.10.002zbMath1138.06004OpenAlexW2017672011MaRDI QIDQ929965
Wendy MacCaull, Dimiter Vakarelov, Michael Winter, Ivo Duentsch
Publication date: 19 June 2008
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2007.10.002
Logic in artificial intelligence (68T27) Structure and representation theory of distributive lattices (06D05) Topological lattices (06B30)
Related Items (5)
Subordinations on bounded distributive lattices ⋮ Complementation in representable theories of region-based space ⋮ Logics for extended distributive contact lattices ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Contact join-semilattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Crawley's completion of a conditionally upper continuous lattice
- Region-based theory of discrete spaces: A proximity approach
- Proximity structures and grills
- Real functions and near-normal spaces
- A representation theorem for Boolean contact algebras
- A Proximity Approach to Some Region-Based Theories of Space
- Topological Representation of Contact Lattices
- Relational Methods in Computer Science
- Relational Methods in Computer Science
- Relational Methods in Computer Science
- A Kripke semantics for the logic of Gelfand quantales
This page was built for publication: Distributive contact lattices: topological representations