Logics for extended distributive contact lattices

DOI10.1080/11663081.2017.1373562MaRDI QIDQ5375878zbMATH OpenOpenAlexFDO

Authors 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

contact algebrascompleteness theoremsdistributive mereotopologymereotopologyextended distributive contact latticesspacial logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4106836
• The logic of distributive nearlattices
• On the logic of distributive nearlattices
• The logic of distributive bilattices
• scientific article; zbMATH DE number 1231636
• Selfextensional logics with a distributive nearlattice term
• scientific article; zbMATH DE number 1420837
• Finite axiomatizability of logics of distributive lattices with negation
• Publication:3199402
• Lattice-theoretic properties of algebras of logic

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Distributive contact lattices: topological representations
• Distributive mereotopology: extended distributive contact lattices
• Handbook of Spatial Logics
• Handbook of knowledge representation.
• Qualitative spatial representation and reasoning: An overview
• Region-based theory of space: algebras of regions, representation theory, and logics
• Special issue: Qualitative spatial reasoning
• Topological Representation of Contact Lattices

Cited in

(5)

• Computable contact algebras
• Topology and measure in logics for region-based theories of space
• Contact join-semilattices
• Distributive mereotopology: extended distributive contact lattices
• Distributive contact lattices: topological representations

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

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