Extended Lambek calculi and first-order linear logic
arXiv:1305.6238v118 citations
Originality Synthesis-oriented
AI Analysis
This work addresses formal language theory and logic, providing incremental extensions to existing calculi for linguistic applications.
The paper investigates fragments of first-order multiplicative intuitionistic linear logic (MILL1) that extend the Lambek calculus, showing that certain fragments generate multiple context-free languages and correspond to the Displacement calculus.
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.