Tutorial Announcement  
Coling 2000 Tutorial Announcement
The goal of this tutorial, which is designed for beginers, is to give a first account of the typelogical systems underlying modern categorial grammars. As a paradigmatic example of such typelogical systems, we will mainly focus on the Lambek calculus. On a theoretical side, we will first introduce the Lambek calculus as a logical system and present its model theory and its proof theory. On an applicative side, we will motivate the laws of the Lambek calculus by means of several linguistic examples. In particular, whextraction and nonconstituent coordination will illustrate the power of hypothetical reasoning. One of the advantages of the categorial grammars is that they offer a transparent interface between syntax and semantics. This topic will be demonstrated by presenting Montaguelike semantics in the categorial setting. Finally, we will discuss different limitations of the Lambek calculus by giving several examples of overgeneration. These examples motivate the need for typelogical systems extending the Lambek calculus. As examples of such extensions, we will present multimodal systems.
B. Carpenter. "TypeLogical Semantics". MIT Press (1997). M. Moortgat. "Categorial
type logics". In J. van Benthem and A. ter Meulen (Eds.), G.V. Morrill. "Type Logical Grammar: Categorial Logic of Signs". Kluwer Academic Publishers, Dordrecht (1994).



