Proof Nets for Intuitionistic Linear Logic: Essential Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Proof Nets for Intuitionistic Linear Logic: Essential Nets

Abstract

We present a class of proof nets that are specially designed for Intuitionistic Linear Logic, for which we give a correctness criterion, as well as a cut-elimination procedure. The proof of sequentialization uses a special kind of oriented paths.
Fichier principal
Vignette du fichier
prfnet1.pdf (261.5 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

inria-00347336 , version 1 (15-12-2008)

Identifiers

  • HAL Id : inria-00347336 , version 1

Cite

François Lamarche. Proof Nets for Intuitionistic Linear Logic: Essential Nets. [Research Report] 2008. ⟨inria-00347336⟩
212 View
1108 Download

Share

Gmail Mastodon Facebook X LinkedIn More