Natural Deduction and Weak Normalization for Full Linear Logic

DOI10.1093/JIGPAL/12.6.601zbMATH Open1062.03057OpenAlexW2166587904MaRDI QIDQ4656555FDOQ4656555

Authors: Lilia Ramalho Martins, Ana Teresa Martins 

Publication date: 11 March 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/12.6.601

Recommendations

• A normalizing system of natural deduction for intuitionistic linear logic
• scientific article; zbMATH DE number 1342286
• Normal deduction in the intuitionistic linear logic
• Natural deduction for intuitionistic linear logic
• scientific article; zbMATH DE number 1330453

zbMATH Keywords

fragmentslinear logicnatural deductionweak normalizationsubformula principle

Mathematics Subject Classification ID

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

Cited In (7)

• Curry-Howard terms for linear logic
• Labelled Natural Deduction for Conditional Logics of Normality
• Natural deduction for intuitionistic linear logic
• Linear Logic and Strong Normalization
• Varieties of linear calculi
• Realizability Proof for Normalization of Full Differential Linear Logic
• A normalizing system of natural deduction for intuitionistic linear logic

This page was built for publication: Natural Deduction and Weak Normalization for Full Linear Logic

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