A normalizing system of natural deduction for intuitionistic linear logic

DOI10.1007/s001530100136zbMath1025.03065OpenAlexW2000871436MaRDI QIDQ1407574

Sara Negri

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530100136

zbMATH Keywords

cut eliminationsequent calculusnatural deductionintuitionistic linear logicnormalizing system

Mathematics Subject Classification ID

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

Related Items (6)

An Alternative Natural Deduction for the Intuitionistic Propositional Logic ⋮ The elimination of maximum cuts in linear logic and BCK logic ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Bilateralism in proof-theoretic semantics ⋮ Natural deduction bottom up ⋮ Varieties of linear calculi

Uses Software

• Pesca

This page was built for publication: A normalizing system of natural deduction for intuitionistic linear logic