Substructural Logics in Natural Deduction

DOI10.1093/jigpal/jzm008zbMath1128.03013OpenAlexW2069664851MaRDI QIDQ5435112

Ernst Zimmermann

Publication date: 14 January 2008

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

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

zbMATH Keywords

contractionlinear logicnatural deductionrelevant logicsubstructural logicsnormalisationstructural rulesBCK logicweakening

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Structural Rules in Natural Deduction with Alternatives ⋮ Natural deduction bottom up ⋮ Full Lambek Calculus in natural deduction

This page was built for publication: Substructural Logics in Natural Deduction