Lambek categorial grammars

Lecturer: 
Topic: 
Language & Logic
Level: 
Introductory
Abstract: 

In this course we aim to describe Lambek calculus and how it is used to formalise syntax and semantics of fragments of natural languages (mainly English) and give a survey of the principal mathematical results concerning this calculus. The course should be interesting for logic students eager to understand how mathematical logic ideas can work in linguistics and maybe, vice versa, for students from the linguistic realm. We will discuss Lambek categorial grammars, Montague-style semantics for them, relations between Lambek grammars and context-free ones, extensions of the Lambek calculus, algorithmic complexity, and the standard interpretation of the Lambek calculus using operations on formal grammars, along with some natural language examples.

Week: 
First week
Slot: 
14:00 - 15:30 - slot 3
Room: 
-