Acyclicity and Coherence in Multiplicative Exponential Linear Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

Résumé

We give a geometric condition that characterizes MELL proof structures whose interpretation is a clique in non-uniform coherent spaces: visible acyclicity. We define the visible paths and we prove that the proof structures which have no visible cycles are exactly those whose interpretation is a clique. It turns out that visible acyclicity has also nice computational properties, especially it is stable under cut reduction.
Fichier principal
Vignette du fichier
FinalpaperCSL06withapp.pdf (239.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04670298 , version 1 (12-08-2024)

Licence

Identifiants

Citer

Michele Pagani. Acyclicity and Coherence in Multiplicative Exponential Linear Logic. Computer Science Logic. CSL 2006, EACSL, 2006, Szeged, Hungary. pp.531-545, ⟨10.1007/11874683_35⟩. ⟨hal-04670298⟩
35 Consultations
12 Téléchargements

Altmetric

Partager

More