scientific article; zbMATH DE number 2202279

MaRDI QIDQ5314478zbMATH OpenFDO

Authors Michael Winter, Ivo Düntsch

Publication date 5 September 2005

zbMATH Keywords

Boolean algebrasqualitative spatial reasoningcontact relation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logical aspects of Boolean algebras (03G05)

Recommendations

• Extension properties of Boolean contact algebras
• A representation theorem for Boolean contact algebras
• Remarks on contact relations on Boolean algebras
• The Lattice of Contact Relations on a Boolean Algebra
• On the homogeneous countable Boolean contact algebra.
• scientific article; zbMATH DE number 1735905
• scientific article; zbMATH DE number 725286
• scientific article; zbMATH DE number 4081539
• Computable contact algebras
• Constructive Boolean algebras

Cited in

(12)

• A modal and relevance logic for qualitative spatial reasoning
• Compact ICA-topobooleans and the Smirnov compactification theorem
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
• Mereotopologies with predicates of actual existence and actual contact
• Relation algebras and their application in temporal and spatial reasoning
• Remarks on contact relations on Boolean algebras
• A representation theorem for Boolean contact algebras
• Base and weight of Boolean \(\mathrm{I}\)-contact algebras
• The Lattice of Contact Relations on a Boolean Algebra
• Contact join-semilattices
• Extension properties of Boolean contact algebras
• On the homogeneous countable Boolean contact algebra.

This page was built for publication:

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