RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






Workshop on Proof Theory, Modal Logic and Reflection Principles
October 19, 2017 14:25, Moscow, Steklov Mathematical Institute
 

Student session


A calculus for worms

A. Borges
Video records:
MP4 273.3 Mb
MP4 62.2 Mb

Number of views:
This page:48
Video files:20

A. Borges


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

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

Abstract: 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.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017