L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253)
From MaRDI portal
scientific article; zbMATH DE number 6307742
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | L-Completeness of the Lambek Calculus with the Reversal Operation |
scientific article; zbMATH DE number 6307742 |
Statements
L-Completeness of the Lambek Calculus with the Reversal Operation (English)
0 references
24 June 2014
0 references
