RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
20 октября 2015 г. 18:30–20:05, г. Москва, ГЗ МГУ, ауд. 16-04
 


О двух модальных расширениях исчисления Ламбека

С. Л. Кузнецов

Количество просмотров:
Эта страница:52

Аннотация: В докладе рассматриваются два расширения исчисления Ламбека с помощью одноместных связок (модальностей). В первом расширении для формул под знаком модальности действуют правила ослабления, сокращения и перестановки, во втором - только сокращения и перестановки. (В исходном исчислении Ламбека этих правил нет.) Первая модальность соответствует экспоненциальному оператору некоммутативной линейной логики, вторая же имеет лингвистический смысл. Для обоих расширений доказывается алгоритмическая неразрешимость проблемы выводимости.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018