Lambek calculus
04:19 PM
2023-09-30
125
Lambek calculus
A version of CATEGORIAL GRAMMAR developed by logician Joachim Lambek (b. 1922) as a model of natural language SYNTAX, and later adopted by linguists working in this framework. The calculus draws close parallels between syntactic PARSING and natural deduction systems in logic.