Full Lambek Calculus in natural deduction

DOI10.1002/MALQ.200810042zbMath1203.03030OpenAlexW2080962320MaRDI QIDQ3406453

Ernst Zimmermann

Publication date: 16 February 2010

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200810042

zbMATH Keywords

additivesLambek calculusnatural deductionnormalisationquantifiersmultiplicatives

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

The Lambek calculus extended with intuitionistic propositional logic ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Natural deduction bottom up

Cites Work

• Natural deduction for intuitionistic linear logic
• A natural extension of natural deduction
• Substructural Logics in Natural Deduction
• Unnamed Item

This page was built for publication: Full Lambek Calculus in natural deduction