Extended Lambek calculi and first-order linear logic
Not on the map. Why?
Abstract (arXiv)
First-order multiplicative intuitionistic linear logic (MILL1) can be seen as an extension of the Lambek calculus. In addition to the fragment of MILL1 which corresponds to the Lambek calculus (of Moot & Piazza 2001), I will show fragments of MILL1 which generate the multiple context-free languages and which correspond to the Displacement calculus of Morrilll e.a.
Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). First posted on arXiv 27 May 2013.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 1.
2 papers.