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

DOI10.1016/S0304-3975(01)00176-1zbMATH Open1039.03047OpenAlexW1982425141MaRDI QIDQ1398477FDOQ1398477

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

• Light linear logic
• Title not available (Why is that?)
• The structure of multiplicatives
• Title not available (Why is that?)
• Title not available (Why is that?)
• The additive multiboxes
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• Title not available (Why is that?)

Cited In (12)

• The geometry of non-distributive logics
• Title not available (Why is that?)
• 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)