|
|||||
|
|
The additive multiboxes |
|
| Authors: | Lorenzo Tortora de Falco |
| Affiliation: | Università Roma Tre, Via Ostiense, 234, 00146, Roma, Italy |
| 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: | Linear logic Cut-elimination Proof-nets Additives Multiboxes |
| 本文献已被 ScienceDirect 等数据库收录！ | |