RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 27, 2010 10:45, Moscow
 


Complexity of the Lambek calculus and its fragments

Mati Pentus
Video records:
Windows Media 405.2 Mb
Flash Video 719.7 Mb
MP4 719.7 Mb

Number of views:
This page:290
Video files:137

Mati Pentus


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

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

Abstract: We consider the original Lambek calculus and its natural modification called the Lambek calculus allowing empty premises. Both calculi have three binary connectives: an associative product operator and its two residuals, the left and right division. This paper contains a short survey of complexity results concerning fragments of these calculi obtained by restricting the set of connectives and/or the number of variables.

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017