Lambek Calculus in Natural Deduction

DOI10.1093/LOGCOM/EXM084MaRDI QIDQ3520236zbMATH OpenOpenAlexFDO

Authors Ernst Zimmermann

Publication date 15 August 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exm084

zbMATH Keywords

Lambek calculusnatural deduction

Mathematics Subject Classification ID

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

Recommendations

• Full Lambek Calculus in natural deduction
• scientific article; zbMATH DE number 3902624
• Sequent calculus in natural deduction style
• scientific article; zbMATH DE number 2024631
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Linear lambda-terms and natural deduction
• scientific article; zbMATH DE number 1868900
• Proof Nets for Lambek Calculus
• Natural deduction for intuitionistic linear logic
• The Lambek calculus extended with intuitionistic propositional logic

Cited in

(11)

• From proof trees in Lambek calculus to Ajdukiewicz Bar-Hillel elimination binary trees
• Natural deduction bottom up
• Recognition of derivability for the Lambek calculus with one division
• Full Lambek Calculus in natural deduction
• scientific article; zbMATH DE number 3902624 (Why is no real title available?)
• A tableau method for the Lambek calculus based on a matrix characterization
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Logical Aspects of Computational Linguistics
• Logical Aspects of Computational Linguistics
• Bracket induction for Lambek calculus with bracket modalities
• A `natural logic' inference system using the Lambek calculus

This page was built for publication: Lambek Calculus in Natural Deduction

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