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

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





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






Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 15:20, г. Москва
 


On positive fragments of polymodal provability logic

Evgenij Dashkov
Видеозаписи:
Windows Media 105.4 Mb
Flash Video 176.4 Mb
MP4 176.4 Mb

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

Evgenij Dashkov


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

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

Аннотация: We consider positive fragments of well-known provability logics GLP and GL. The study is motivated by the fact that some important proof-theoretic applications essentially rely on the positive fragment, rather than the full system of GLP. For the fragments, we suggest sequential and equational calculi and develop an arithmetical interpretation.

Язык доклада: английский

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