兰贝克演算（Lambek calculus），哲学-哲学-逻辑学-逻辑，一种关于字符串毗连运算的逻辑。又称Lambek演算、Lambek语法，简称L。加拿大数学家、逻辑学家J.兰贝克在AB语法基础上提出。兰贝克演算深化并继承了古典范畴语法，把范畴之间的运算当作逻辑推演，用逻辑系统的定理来展示范畴运算的句法规则。作为范畴类型逻辑序列的一个重要阶段，它连接了古典范畴语法和后来蒙塔古语法、类型逻辑语义学等关于自然语言的形式语义理论。但是，因其本质上是一种关于字符串毗连运算的逻辑，这种逻辑对于自然语言中普遍存在语义相关但句法上不连续的现象具有先天的缺陷，因此，此后有诸多扩充兰贝克演算增加其生成能力的尝试，如兰贝克-格里新演算（Lambek-Grishin calculus）、不连续的兰贝克演算（discontinuous Lambek calculus）等均为解决兰贝克演算生成力的局限。