\(\mathrm{NL}_\lambda\) as the logic of scope and movement (Q2425323)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\mathrm{NL}_\lambda\) as the logic of scope and movement |
scientific article |
Statements
\(\mathrm{NL}_\lambda\) as the logic of scope and movement (English)
0 references
26 June 2019
0 references
Lambek
0 references
substructural logic
0 references
scope
0 references
quantifier raising
0 references
syntactic movement
0 references
continuations
0 references
decidability
0 references
