Natural Deduction and Weak Normalization for Full Linear Logic

DOI10.1093/JIGPAL/12.6.601zbMath1062.03057OpenAlexW2166587904MaRDI QIDQ4656555

Lilia Ramalho Martins, Ana Teresa Martins

Publication date: 11 March 2005

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

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

zbMATH Keywords

weak normalizationlinear logicnatural deductionfragmentssubformula principle

Mathematics Subject Classification ID

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

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