---
tag: 5FAC9KX4H0
kind: concept
name: Lambek calculus
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section L
    note: adopted
    mention: wikipedia://en/76765067#Z4LI
    sections: [Summary]
inventory: [Y9FX652E4M]
---

## Summary

A mathematical system for modeling the syntax of natural languages, based on categorial grammar, emphasizing the role of operations and types.