Lambek calculus is a type of categorial grammar developed by Joachim Lambek that provides a mathematical framework for modeling natural language syntax using the principles of substructural logic. It is notable for its use of non-commutative operations, which allow it to capture the order-sensitive nature of linguistic structures more effectively than traditional logic systems.