Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)

Résumé

We extend the proof net up to associativity and commutativity to the non commutative cyclic case, and thus provide proof net for the assocative Lambek calculus for which associativity of connectives is equality of the proofs.
Fichier non déposé

Dates et versions

hal-00418580 , version 1 (21-09-2009)

Identifiants

  • HAL Id : hal-00418580 , version 1

Citer

Christian Retoré. Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla). GEOCAL Workshop on logic and linguistics, Feb 2006, Marseille, France. ⟨hal-00418580⟩

Collections

CNRS INSMI
74 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More