The additive multiboxes

DOI10.1016/S0168-0072(02)00042-8MaRDI QIDQ1861326zbMATH OpenOpenAlexFDO

Authors 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

additiveslinear logiccut eliminationproof-netsmultiboxes

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Proof nets for unit-free multiplicative-additive linear logic
• Publication:4896506
• scientific article; zbMATH DE number 1948160
• scientific article; zbMATH DE number 1222110
• Computer Science Logic

Cites work

• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• scientific article; zbMATH DE number 1342251 (Why is no real title available?)
• scientific article; zbMATH DE number 1342282 (Why is no real title available?)
• scientific article; zbMATH DE number 786499 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• A new constructive logic: classic logic
• A new deconstructive logic: linear logic
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• Homology of proof-nets
• Light linear logic
• Linear logic
• Linear logic and elementary time
• On the meaning of logical rules. II: Multiplicatives and additives
• The structure of multiplicatives

Cited in

(7)

• The geometry of non-distributive logics
• Correctness of linear logic proof structures is NL-complete
• scientific article; zbMATH DE number 2134916 (Why is no real title available?)
• Polarized and focalized linear and classical proofs
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• Cross additivity - an application
• Compressing polarized boxes

This page was built for publication: The additive multiboxes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1861326)