HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Proof Nets for Intuitionistic Linear Logic: Essential Nets

François Lamarche 1, *
* Corresponding author
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00347336
Contributor : Francois Lamarche Connect in order to contact the contributor
Submitted on : Monday, December 15, 2008 - 3:04:13 PM
Last modification on : Friday, February 4, 2022 - 3:32:19 AM
Long-term archiving on: : Thursday, October 11, 2012 - 1:46:04 PM

File

prfnet1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00347336, version 1

Collections

Citation

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

Share

Metrics

Record views

178

Files downloads

828