Title of article
The additive multiboxes Original Research Article
Author/Authors
Lorenzo Tortora de Falco، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
38
From page
65
To page
102
Abstract
We introduce the new notion of additive “multibox” for linear logic proof-nets. Thanks to this notion, we define a cut-elimination procedure which associates with every proof-net of multiplicative and additive linear logic a unique cut-free one.
Keywords
Cut-elimination , Proof-nets , Multiboxes , Linear logic , Additives
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889887
Link To Document