Type-logical grammars and logic-based syntax.

Primary supervisor

Contact admissions office

Other projects with the same supervisor

Project description

Type-logical grammars are formal systems for specifying the syntax (and semantics) of natural languages. In recent years, interest in such formalisms has grown, in part because of a more general shift towards the use of logic-based techniques in syntax. The aim of this project is to study some recent developments in the area of type-logical grammars, and in particular, to investigate their relationship to other areas of mathematical and computational logic.

▲ Up to the top