|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Complexity of the Lambek calculus and its fragmentsдоклад на конференции
- Автор: Pentus Mati
- Международная Конференция : Advances in Modal Logic (AiML 2010)
- Даты проведения конференции: 24-27 августа 2010
- Дата доклада: 27 августа 2010
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Математический институт им. В.А. Стеклова Российской академии наук, г. Москва, Russia
-
Аннотация доклада:
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. ======================================================== URL: http://www.mathnet.ru/php/presentation.phtml?presentid=483
- Добавил в систему: Золин Евгений Евгеньевич