Distributive contact lattices: topological representations

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

zbMATH Keywords

distributive latticeregion-based theory of space

Mathematics Subject Classification ID

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