Extended Lambek calculi and first-order linear logic

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.
Type de document :
Communication dans un congrès
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
Liste complète des métadonnées

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

Fichiers

mill1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00826416, version 1
  • ARXIV : 1305.6238

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

144