The course starts with introducing some essentials of the lambda
calculus, and basic concepts from proof theory. The major part of the
course is then devoted to the discussion of type-logical grammar, in its
simple form (applicative categorial grammar) and its more sophisticated
form (multimodal logical grammar).
The aim of the course is to make the student familiar with the idea how
syntactic analysis can be done by constructing proofs - and how we could
use that idea to implement such syntactic analysis by means of (chart)
parsers or theorem provers. Thus, besides getting acquainted with some
theory, the student can also get an insight in how this approach to
syntax may be put to work at a computer. Where possible sample
implementations will be discussed.
The course will be given in English.
Last update: G_I (19.10.2001)
The course starts with introducing some essentials of the lambda
calculus, and basic concepts from proof theory. The major part of the
course is then devoted to the discussion of type-logical grammar, in its
simple form (applicative categorial grammar) and its more sophisticated
form (multimodal logical grammar).
The aim of the course is to make the student familiar with the idea how
syntactic analysis can be done by constructing proofs - and how we could
use that idea to implement such syntactic analysis by means of (chart)
parsers or theorem provers. Thus, besides getting acquainted with some
theory, the student can also get an insight in how this approach to
syntax may be put to work at a computer. Where possible sample
implementations will be discussed.
The course will be given in English.
Literature - Czech
Last update: RNDr. Pavel Zakouřil, Ph.D. (05.08.2002)
pro ůčastníky kurzu bude k dispozici skriptum
Troelstra/Schwichtenberg, Basic Proof Theory, Cambridge UP, 1996 - Gabbay, Labelled Deductive Systems, Oxford UP, 1996 - Moortgat, Categorial Type Logics, in Handbook of Logic & Language, ed. Van Benthem/Ter Meulen, Elsevier, 1997 - Morrill, Type-Logical Grammar, Kluwer Academic, 1994
Syllabus - Czech
Last update: ()
1. Introduction - 2. Essentials of Lambda Calculus - 3. Basics of Proof Theory - 4. Labelled Deductive Systems - 5. Type-Logical Grammar - 5.1 Basic Categorial Grammar - 5.2 Multimodal Logical Grammar.