Logics for extended distributive contact lattices

DOI10.1080/11663081.2017.1373562zbMath1436.03169OpenAlexW2756978888MaRDI QIDQ5375878

Tatyana B. Ivanova

Publication date: 17 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2017.1373562

zbMATH Keywords

mereotopologycontact algebrascompleteness theoremsdistributive mereotopologyextended distributive contact latticesspacial logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure and representation theory of distributive lattices (06D05)

Related Items (1)

Contact join-semilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributive mereotopology: extended distributive contact lattices
• Distributive contact lattices: topological representations
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A representation theorem for Boolean contact algebras
• Handbook of Spatial Logics
• A Proximity Approach to Some Region-Based Theories of Space
• Topological Representation of Contact Lattices

This page was built for publication: Logics for extended distributive contact lattices