Full Lambek Calculus in natural deduction
From MaRDI portal
Publication:3406453
DOI10.1002/MALQ.200810042zbMath1203.03030OpenAlexW2080962320MaRDI QIDQ3406453
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
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
This page was built for publication: Full Lambek Calculus in natural deduction