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.

[ bib | .html ]


This file has been generated by bibtex2html 1.60       >>> BackToHomePage(Protocollo) <<<