UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS |
scientific article |
Statements
UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (English)
0 references
21 January 2015
0 references
substructural logics
0 references
uniform interpolation property
0 references
full Lambek calculus
0 references
0 references
0 references
