Natural Deduction and Weak Normalization for Full Linear Logic

DOI10.1093/JIGPAL/12.6.601MaRDI QIDQ4656555zbMATHOpenAlexFDO

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

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)

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

Cited in

(7)

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

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)