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

Поиск
RSS
Новые поступления





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






Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 16:35–17:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
 


Об устранении сечения для системы $K^+$

Д. С. Шамканов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Видеозаписи:
MP4 988.4 Mb
MP4 448.8 Mb

Количество просмотров:
Эта страница:73
Видеофайлы:17

Д. С. Шамканов
Фотогалерея


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

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

Аннотация: При изучении модальной мю-логики, логики общего знания и других логик, содержащих операторы взятия неподвижных точек, возникают исчисления, допускающие циклические и нефундированные выводы. К сожалению, структурная теория доказательств подобных исчислений остается не вполне развитой.
Мы обсудим один из методов устранения сечения в системах с нефундированнми выводами на примере исчисления секвенций для модальной логики транзитивного замыкания $K^+$.

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