Back to Search
Start Over
The additive multiboxes
- Source :
-
Annals of Pure & Applied Logic . Apr2003, Vol. 120 Issue 1-3, p65. 38p. - Publication Year :
- 2003
-
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. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 01680072
- Volume :
- 120
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Annals of Pure & Applied Logic
- Publication Type :
- Academic Journal
- Accession number :
- 7884359
- Full Text :
- https://doi.org/10.1016/S0168-0072(02)00042-8