Lorenzo Tortora de Falco.
The additive multiboxes.
Annals of Pure and Applied Logic, 120, Issue 1-3:65-102, 2003.
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.