Remarks on contact relations on Boolean algebras

DOI10.1007/S00012-012-0211-2MaRDI QIDQ1935013zbMATH OpenOpenAlexFDO

Authors Sabine Koppelberg, Michael Winter, Ivo Düntsch

Publication date 30 January 2013

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-012-0211-2

zbMATH Keywords

Boolean algebrascontact relationmereotopologyqualitative spatial reasoning

Mathematics Subject Classification ID

Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• The Lattice of Contact Relations on a Boolean Algebra
• scientific article; zbMATH DE number 2202279
• Topological Representation of Contact Lattices
• Distributive contact lattices: topological representations
• A representation theorem for Boolean contact algebras

Cites work

• A relation-algebraic approach to the region connection calculus
• A representation theorem for Boolean contact algebras
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 3550696 (Why is no real title available?)
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• Minimally generated Boolean algebras
• Region-based theory of discrete spaces: A proximity approach
• The Lattice of Contact Relations on a Boolean Algebra

Cited in

(22)

• A proof system for contact relation algebras
• The lattice structure of \(\mathbf{L}\)-contact relations
• Base and weight of Boolean \(\mathrm{I}\)-contact algebras
• Relational representation theorems for extended contact algebras
• Extended contact algebras and internal connectedness
• A generalization of the Stone duality theorem
• A representation theorem for Boolean contact algebras
• Extension properties of Boolean contact algebras
• Contact relation on De Morgan algebra
• The Lattice of Contact Relations on a Boolean Algebra
• Contact relations with applications
• scientific article; zbMATH DE number 1735905 (Why is no real title available?)
• A relational logic for spatial contact based on rough set approximation
• On the homogeneous countable Boolean contact algebra.
• Computable contact algebras
• Precontact relations and quasi-modal operators in Boolean algebras
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• Refinements of the RCC25 composition table
• Topological Representation of Contact Lattices
• Relational Methods in Computer Science
• A necessary relation algebra for mereotopology
• Distributive contact lattices: topological representations

This page was built for publication: Remarks on contact relations on Boolean algebras

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