The additive multiboxes
From MaRDI portal
Publication:1861326
DOI10.1016/S0168-0072(02)00042-8zbMath1039.03046OpenAlexW2094993595MaRDI QIDQ1861326
Publication date: 16 March 2003
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(02)00042-8
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Additives of linear logic and normalization. I: A (restricted) Church-Rosser property., Correctness of linear logic proof structures is NL-complete, Polarized and focalized linear and classical proofs, The geometry of non-distributive logics
Cites Work
- Linear logic
- The structure of multiplicatives
- Light linear logic
- Homology of proof-nets
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
- Linear logic and elementary time
- A new constructive logic: classic logic
- A new deconstructive logic: linear logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item