Introduction to type-logical syntax and semantics

Philippe de Groote and Glyn Morrill
Section: Language and Logic
Level: Foundational


The goal of this course is to introduce the basic concepts and methods that underly contemporary categorial grammars, as exemplified by (Carpenter 1997), (Moortgat 1996), and (Morrill 1994). No specific knowledge is assumed of the students except familiarity with elementary formal logic. The content of the course is the following.



(Carpenter 1997) CARPENTER, B.
   "Type-Logical Semantics".
    MIT press, 1997.

(Moortgat 1996) MOORTGAT, M.
    "Categorial type logics" in
    J. van Benthem and A. ter Meulen (Eds.)
    Handbook of Logic and Language.
    North-Holland, 1996.

(Morrill 1994) MORRILL, G.V.
    "Type Logical Grammar: categorial logic of signs".
    Kluwer, 1994.


Philippe de Groote
(1) Loria - INRIA
Campus Scientifique, BP 239
54506 Vandoeuvre-les-Nancy Cedex --- France
phone: (+33) 83 59 30 32
fax: (+33) 83 27 83 19

Glyn Morrill
Universitat Politecnica de Catalunya, LSI
Jordi Girona Salgado, 1-3
E-08034 Barcelona --- Espanya
Phone: (+34) 93 401 7112
Fax: (+34) 93 401 7014