Logics for extended distributive contact lattices (Q5375878)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logics for extended distributive contact lattices |
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
0 references
0.9074831
0 references
0 references
0.8851353
0 references
0.8811901
0 references
0.87628645
0 references
