The Lattice of Contact Relations on a Boolean Algebra

DOI10.1007/978-3-540-78913-0_9MaRDI QIDQ3498408zbMATH OpenOpenAlexFDO

Authors Michael Winter, Ivo Düntsch

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

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

Recommendations

• Remarks on contact relations on Boolean algebras
• scientific article; zbMATH DE number 2202279
• scientific article; zbMATH DE number 1735905
• Contact relation on De Morgan algebra
• The lattice structure of \(\mathbf{L}\)-contact relations

Cites work

• A representation theorem for Boolean contact algebras
• Handbook of Spatial Logics
• 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?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• Region-based theory of discrete spaces: A proximity approach
• Relational Methods in Computer Science

Cited in

(11)

• A modal and relevance logic for qualitative spatial reasoning
• The lattice structure of \(\mathbf{L}\)-contact relations
• Remarks on contact relations on Boolean algebras
• Complementation in representable theories of region-based space
• Extension properties of Boolean contact algebras
• Contact relation on De Morgan algebra
• Contact relations with applications
• Discrete dualities for some algebras with relations
• scientific article; zbMATH DE number 1735905 (Why is no real title available?)
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• Relational Methods in Computer Science

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498408)