| Titre | La logique linéaire non commutative et le calcul de Lambek | |
|---|---|---|
| Auteur | Claudia Casadio | |
 |
Revue | Langages |
| Numéro | no 148, décembre 2002 Les grammaires catégorielles, sous la direction de Béatrice Godart-Wendling | |
| Page | 93-110 | |
| Résumé anglais |
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. Source : Éditeur (via Persée) |
|
| Article en ligne | http://www.persee.fr/doc/lgge_0458-726x_2002_num_36_148_2425 |
