Distributive contact lattices: topological representations

DOI10.1016/J.JLAP.2007.10.002MaRDI QIDQ929965zbMATH OpenOpenAlexFDO

Authors Wendy MacCaull, Dimiter Vakarelov, Michael Winter, Ivo Düntsch

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) Topological lattices (06B30) Structure and representation theory of distributive lattices (06D05)

Recommendations

• Topological Representation of Contact Lattices
• Distributive mereotopology: extended distributive contact lattices
• Logics for extended distributive contact lattices
• Remarks on contact relations on Boolean algebras
• scientific article; zbMATH DE number 5117074

Cites work

• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• A Kripke semantics for the logic of Gelfand quantales
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• Crawley's completion of a conditionally upper continuous lattice
• Proximity structures and grills
• Real functions and near-normal spaces
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Relational Methods in Computer Science
• Relational Methods in Computer Science
• Relational Methods in Computer Science
• Topological Representation of Contact Lattices

Cited in

(16)

• Computable contact algebras
• On the algebra of regular sets
• 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
• Relational Methods in Computer Science
• Region-based theory of discrete spaces: A proximity approach
• Remarks on contact relations on Boolean algebras
• A representation theorem for Boolean contact algebras
• A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
• Topology and measure in logics for region-based theories of space
• Contact join-semilattices
• Distributive mereotopology: extended distributive contact lattices
• Subordinations on bounded distributive lattices
• Topological Representation of Contact Lattices
• Extended contact algebras and internal connectedness

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)