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

DOI10.1016/S0304-3975(01)00176-1zbMath1039.03047OpenAlexW1982425141MaRDI QIDQ1398477

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

cut eliminationlinear logicconfluenceChurch-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)

Related Items (11)

Softness of MALL proof-structures and a correctness criterion with Mix ⋮ Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. ⋮ Linear logic and elementary time ⋮ The conservation theorem for differential nets ⋮ Polarized and focalized linear and classical proofs ⋮ Unnamed Item ⋮ The geometry of non-distributive logics ⋮ Strong normalization property for second order linear logic ⋮ Linear logic by levels and bounded time complexity ⋮ An abstract approach to stratification in linear logic ⋮ The additive multiboxes

Cites Work

• The structure of multiplicatives
• Light linear logic
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• The additive multiboxes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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