Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Forthcoming seminars

You may need the following programs to see the files

Colloquium of Steklov Mathematical Institute of Russian Academy of Sciences
June 5, 2014 16:00, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)

Lambek categorial grammars

Stepan Kuznetsov
Video records:
Flash Video 638.8 Mb
Flash Video 3,827.8 Mb
MP4 638.8 Mb

Number of views:
This page:1150
Video files:366
Youtube Video:

Stepan Kuznetsov
Photo Gallery

Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: The Lambek calculus and Lambek categorial grammars were introduced in 1958 for mathematical description of natural language syntax. In this approach, every word of the language is associated with (possibly several) syntactic categories (types) in a specific logical language, and then one checks derivability of the corresponding formula in the Lambek calculus. This formalism has several advantages in comparison with the Chomsky hierarchy (for example, context-free grammars), mainly the lexicalisation property: the syntactic information is kept in the categorial dictionary and used only if the corresponding word occurs in the text parsed. Categorial grammars also allow to do semantic analysis, using Montague semantics in a natural way. On the other hand, all the languages generated by Lambek categorial grammars are context-free. The talk will contain both the linguistic usage of categorial grammars and purely mathematical results concerning the Lambek calculus, including completeness results and algorithmic complexity.

SHARE: FaceBook Twitter Livejournal
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020