Proof Nets for Basic Discontinuous Lambek Calculus (Q5385203)
From MaRDI portal
scientific article; zbMATH DE number 5271039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof Nets for Basic Discontinuous Lambek Calculus |
scientific article; zbMATH DE number 5271039 |
Statements
Proof Nets for Basic Discontinuous Lambek Calculus (English)
0 references
5 May 2008
0 references
proof nets
0 references
continuity
0 references
Lambek calculus
0 references
discontinuity
0 references
hypersequent calculus
0 references
