Extended Lambek calculi and first-order linear logic
Computation and Language
2013-05-28 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.1305.6238,
title = {Extended Lambek calculi and first-order linear logic},
author = {Richard Moot},
journal= {arXiv preprint arXiv:1305.6238},
year = {2013}
}
Comments
Logic and Language, Allemagne (2013)