Natural Deduction and Weak Normalization for Full Linear Logic

DOI10.1093/JIGPAL/12.6.601MaRDI QIDQ4656555zbMATH OpenOpenAlexFDO

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 deductionsubformula principleweak normalization

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

(14)

• Normal deduction in the intuitionistic linear logic
• Marginalia on sequent claculi
• Experiments in linear natural deduction
• A normalizing system of natural deduction for intuitionistic linear logic
• Curry-Howard terms for linear logic
• Varieties of linear calculi
• Natural deduction for intuitionistic linear logic
• Linear Logic and Strong Normalization
• Realizability Proof for Normalization of Full Differential Linear Logic
• scientific article; zbMATH DE number 1330453 (Why is no real title available?)
• scientific article; zbMATH DE number 1342286 (Why is no real title available?)
• Labelled Natural Deduction for Conditional Logics of Normality
• A sequent calculus perspective on base-extension semantics
• A proof-theoretic approach to the semantics of classical 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)