Fiche du document
2002
Copyright PERSEE 2003-2023. Works reproduced on the PERSEE website are protected by the general rules of the Code of Intellectual Property. For strictly private, scientific or teaching purposes excluding all commercial use, reproduction and communication to the public of this document is permitted on condition that its origin and copyright are clearly mentionned.
Citer ce document
Claudia Casadio, « La logique linéaire non commutative et le calcul de Lambek », Langages, ID : 10.3406/lgge.2002.2425
Métriques
Partage / Export
Résumé
The paper analyzes the correspondence existing between the Syntactic Calculus (Lambek 1958) and (multiplicative) non-commutative linear logic (Abrusci 1991), both in its intuitionistic and classical formulation. Particular attention is paid to the fragment of classical non-commutative linear logic (or classical bilinear logic) that is a conservative extension of the Syntactic Calculus. We present some linguistic applications of this system and propose a way to build up planar graphs for its type logical formulas.