Categorial Grammar

This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other topics related to categorial grammar and to philosophical and linguistic applications of this framework. The volume consists of three parts. The first, introductory part, contains the editor's addresses and two survey chapters concerning the history (W. Marciszewski) and current trends of the discipline (J.van Benthem). The second part c