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.
Claudia Casadio, Bob Coecke, Michael Moortgat and Philip Scott. Logic and Language, Aug 2013, Germany. Springer, 8222, pp.297-330, 2014, Lecture Notes in Computer Science
https://hal.archives-ouvertes.fr/hal-00826416
Contributeur : Richard Moot
<>
Soumis le : lundi 27 mai 2013 - 15:55:38
Dernière modification le : samedi 7 avril 2018 - 11:58:02
Document(s) archivé(s) le : mercredi 28 août 2013 - 04:20:09
Extended Lambek calculi and first-order linear logic. Claudia Casadio, Bob Coecke, Michael Moortgat and Philip Scott. Logic and Language, Aug 2013, Germany. Springer, 8222, pp.297-330, 2014, Lecture Notes in Computer Science. 〈hal-00826416〉
