Distributive contact lattices: topological representations
From MaRDI portal
Publication:929965
DOI10.1016/J.JLAP.2007.10.002zbMATH Open1138.06004OpenAlexW2017672011MaRDI QIDQ929965
Wendy MacCaull, Ivo Düntsch, Dimiter Vakarelov, Michael Winter
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) Topological lattices (06B30) Structure and representation theory of distributive lattices (06D05)
Cites Work
- Proximity structures and grills
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Crawley's completion of a conditionally upper continuous lattice
- Real functions and near-normal spaces
- A Proximity Approach to Some Region-Based Theories of Space
- Topological Representation of Contact Lattices
- A Kripke semantics for the logic of Gelfand quantales
- Relational Methods in Computer Science
- Relational Methods in Computer Science
- Relational Methods in Computer Science
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (7)
- Complementation in representable theories of region-based space
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- Logics for extended distributive contact lattices
- A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
- Subordinations on bounded distributive lattices
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
This page was built for publication: Distributive contact lattices: topological representations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q929965)
