Logics of space with connectedness predicates: complete axiomatizations (Q2904067)
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 of space with connectedness predicates: complete axiomatizations |
scientific article; zbMATH DE number 6063277
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics of space with connectedness predicates: complete axiomatizations |
scientific article; zbMATH DE number 6063277 |
Statements
5 August 2012
0 references
spatial logical
0 references
mereotopology
0 references
quantifier-free axiomatization
0 references
region-based theory of space
0 references
connectedness
0 references
completeness theorems
0 references
contact algebras
0 references
0.94060826
0 references
0 references
0 references
0.8814809
0 references
0.87649906
0 references
Logics of space with connectedness predicates: complete axiomatizations (English)
0 references
