# Extended Lambek calculi and first-order linear logic

arXiv: https://arxiv.org/abs/1305.6238 · HTML: https://mlsanity.com/paper/1305.6238/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 27 May 2013.

## Built on by (most cited first, 2 of 2)

- [First order linear logic and tensor type calculus for categorial grammars](https://mlsanity.com/paper/2112.15253/) (2021)
- [Making first order linear logic a generating grammar](https://mlsanity.com/paper/2206.08955/) (2022)

## 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.