Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579)
From MaRDI portal
scientific article; zbMATH DE number 7067261
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Craig’s trick and a non-sequential system for the Lambek calculus and its fragments |
scientific article; zbMATH DE number 7067261 |
Statements
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (English)
0 references
18 June 2019
0 references
Craig's trick
0 references
Lambek calculus
0 references
non-sequential calculus
0 references
substructural logic
0 references
Lambek's restriction
0 references
