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

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






Workshop on Proof Theory, Modal Logic and Reflection Principles
19 октября 2017 г. 14:25–14:50, Москва, Математический институт им. В.А. Стеклова РАН
 

Student session


A calculus for worms

A. Borges
Видеозаписи:
MP4 273.3 Mb
MP4 62.2 Mb

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

A. Borges


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

Аннотация: In 2012, Dashkov described a calculus used to reason about a strictly positive fragment of the language of GLP. The sequent-style presentation of this calculus proposed by Beklemishev is called the Reflection Calculus (RC). It is well-known that every closed formula of RC can be equivalently written as a worm. One wonders whether it would be possible to work only with worms, maintaining the same proof power available in RC. The answer is yes. We present a calculus for worms and show that it proves exactly the same conjunction-free closed statements as the Reflection Calculus. We are also currently extending the results to creatures more exotic than worms. Joint work with Joost Joosten.

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

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