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

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





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






Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
19 июля 2016 г. 11:00–11:50, г. Москва, МИАН, ул. Губкина, 8
 


Positive provability logic and reflection calculus

Л. Д. Беклемишев
Видеозаписи:
Flash Video 321.8 Mb
Flash Video 1,918.4 Mb
MP4 321.8 Mb

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

Л. Д. Беклемишев
Фотогалерея


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

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

Аннотация: Several interesting applications of provability logic in proof theory made use of the polymodal logic GLP due to Giorgi Japaridze. This system, although decidable, is not very easy to handle. In this talk we will advocate the use of a weaker system, called Reflection Calculus, which is much simpler than GLP, yet expressive enough to regain its main proof-theoretic applications. From the point of view of modal logic, RC can be seen as a fragment of polymodal logic consisting of implications of the form $A\to B$, where A and B are formulas built-up from $\top$ and the variables using conjunction and the diamond modalities. We discuss general problems around weak systems of this kind, e.g. their relationships with semi-Thue systems, and describe some applications of RC to the analysis of provability in formal arithmetical theories.

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