Pages that link to "Item:Q3520236"
From MaRDI portal
The following pages link to Lambek Calculus in Natural Deduction (Q3520236):
Displaying 10 items.
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- From proof trees in Lambek calculus to Ajdukiewicz Bar-Hillel elimination binary trees (Q1768795) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Recognition of derivability for the Lambek calculus with one division (Q2513061) (← links)
- Full Lambek Calculus in natural deduction (Q3406453) (← links)
- (Q3680812) (← links)
- Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037) (← links)
- Logical Aspects of Computational Linguistics (Q5706946) (← links)
- Logical Aspects of Computational Linguistics (Q5706949) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)