Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579)
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: Craig’s trick and a non-sequential system for the Lambek calculus and its fragments |
scientific article; zbMATH DE number 7067261
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8819238
0 references
0.8593237
0 references
0.85512024
0 references
0.8503507
0 references
0.84970576
0 references
0.84957814
0 references
0 references
0.8464772
0 references
0.84581554
0 references
