Logics for extended distributive contact lattices (Q5375878)
From MaRDI portal
scientific article; zbMATH DE number 6937678
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics for extended distributive contact lattices |
scientific article; zbMATH DE number 6937678 |
Statements
Logics for extended distributive contact lattices (English)
0 references
17 September 2018
0 references
mereotopology
0 references
distributive mereotopology
0 references
contact algebras
0 references
extended distributive contact lattices
0 references
spacial logics
0 references
completeness theorems
0 references
