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

Поиск
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 110.7 Mb

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

Evgenij Dashkov



Аннотация: 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.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024