Skip navigation

Johan van Benthem

Titles by This Author

Categories, Lambdas, and Dynamic Logic

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.

Titles by This Editor

The combined study of logic and language goes back at least as far as the Middle Ages. In the last twenty-five years it has gained momentum with the formulation of Montague semantics and Generative Syntax, and the subsequent diversification of research programs.