Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.

DOI10.1016/S0304-3975(01)00176-1MaRDI QIDQ1398477zbMATH OpenOpenAlexFDO

Authors Lorenzo Tortora de Falco

Publication date 29 July 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(01)00176-1

zbMATH Keywords

linear logicconfluencecut eliminationChurch-Rosser propertyadditive connectivesproof-nets with jumps

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4147469 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (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?)
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• Light linear logic
• The additive multiboxes
• The structure of multiplicatives

Cited in

(12)

• The geometry of non-distributive logics
• scientific article; zbMATH DE number 7566060 (Why is no real title available?)
• An abstract approach to stratification in linear logic
• The conservation theorem for differential nets
• Polarized and focalized linear and classical proofs
• Strong normalization property for second order linear logic
• The additive multiboxes
• Linear logic and elementary time
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• Softness of MALL proof-structures and a correctness criterion with Mix
• Linear logic by levels and bounded time complexity
• Exponentially handsome proof nets and their normalization

This page was built for publication: Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.

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