The Lattice of Contact Relations on a Boolean Algebra

DOI10.1007/978-3-540-78913-0_9zbMath1139.06005OpenAlexW67075882MaRDI QIDQ3498408

Michael Winter, Ivo Duentsch

Publication date: 15 May 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78913-0_9

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Topological lattices (06B30) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (5)

Extension Properties of Boolean Contact Algebras ⋮ Remarks on contact relations on Boolean algebras ⋮ Discrete dualities for some algebras with relations ⋮ Complementation in representable theories of region-based space ⋮ The lattice structure of \(\mathbf{L}\)-contact relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based theory of discrete spaces: A proximity approach
• A representation theorem for Boolean contact algebras
• Handbook of Spatial Logics
• Relational Methods in Computer Science

This page was built for publication: The Lattice of Contact Relations on a Boolean Algebra