Relational Methods in Computer Science

DOI10.1007/11734673MaRDI QIDQ5899308zbMATH OpenOpenAlexFDO

Authors Ivo Düntsch, Michael Winter

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11734673

zbMATH Keywords

region connection calculus

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Proximity structures and generalizations (54E05) Logic in artificial intelligence (68T27)

Recommendations

• The lattice structure of \(\mathbf{L}\)-contact relations
• The Lattice of Contact Relations on a Boolean Algebra
• Remarks on contact relations on Boolean algebras
• Contact relations with applications
• A proof system for contact relation algebras

Cited in

(8)

• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
• Pseudocomplementation and minimal prime ideals in semirings
• The lattice structure of \(\mathbf{L}\)-contact relations
• Complementation in representable theories of region-based space
• ALMOST PSEUDO CONTACT STRUCTURE
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
• Hypercontact semilattices
• Distributive contact lattices: topological representations

This page was built for publication: Relational Methods in Computer Science

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