The additive multiboxes

DOI10.1016/S0168-0072(02)00042-8zbMath1039.03046OpenAlexW2094993595MaRDI QIDQ1861326

Lorenzo Tortora de Falco

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

zbMATH Keywords

additivescut eliminationlinear logicproof-netsmultiboxes

Mathematics Subject Classification ID

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