Full Lambek Calculus in natural deduction

DOI10.1002/MALQ.200810042MaRDI QIDQ3406453zbMATH OpenOpenAlexFDO

Authors 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

additivesnatural deductionquantifiersnormalisationLambek calculusmultiplicatives

Mathematics Subject Classification ID

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

Recommendations

• Lambek Calculus in Natural Deduction
• Classical conservative extensions of Lambek calculus
• Natural deduction bottom up
• The Lambek calculus extended with intuitionistic propositional logic
• An alternative natural deduction for the intuitionistic propositional logic
• Substructural Logics in Natural Deduction
• On Lambek's restriction in the presence of exponential modalities
• A Parigot-style linear -calculus for full intuitionistic linear logic
• Extensions of Lambek calculi
• De Morgan interpretation of the Lambek-Grishin calculus

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A natural extension of natural deduction
• Natural deduction for intuitionistic linear logic
• Substructural Logics in Natural Deduction

Cited in

(9)

• Logical Aspects of Computational Linguistics
• A `natural logic' inference system using the Lambek calculus
• Natural deduction bottom up
• Bracket induction for Lambek calculus with bracket modalities
• Lambda terms for natural deduction, sequent calculus and cut elimination
• The Lambek calculus extended with intuitionistic propositional logic
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• Lambek Calculus in Natural Deduction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3406453)