|
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
20 октября 2015 г. 18:30–20:05, г. Москва, Математический институт им.В.А.Стеклова РАН
|
 |
|
 |
|
|
|
О двух модальных расширениях исчисления Ламбека
С. Л. Кузнецов |
| Количество просмотров: |
| Эта страница: | 253 |
|
Аннотация:
В докладе рассматриваются два расширения исчисления Ламбека
с помощью одноместных связок (модальностей). В первом
расширении для формул под знаком модальности действуют
правила ослабления, сокращения и перестановки, во втором -
только сокращения и перестановки. (В исходном исчислении Ламбека
этих правил нет.) Первая модальность соответствует
экспоненциальному оператору некоммутативной линейной логики,
вторая же имеет лингвистический смысл. Для обоих расширений
доказывается алгоритмическая неразрешимость проблемы
выводимости.
|
|
Обратная связь: