Normal deduction in the intuitionistic linear logic

DOI10.1007/S001530050106zbMath0936.03058OpenAlexW2088514694MaRDI QIDQ1267849

Grigori Mints

Publication date: 15 May 2000

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

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

zbMATH Keywords

cut eliminationlinear logicnormalizationnatural deductionsecond order

Mathematics Subject Classification ID

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

Related Items (1)

Three faces of natural deduction

This page was built for publication: Normal deduction in the intuitionistic linear logic