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

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






Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 16:15, г. Москва, МИАН
 


First order logic of proofs

Tatiana Yavorskaya

Moscow Lomonosov State University
Видеозаписи:
Flash Video 2,121.8 Mb
Flash Video 348.7 Mb
MP4 348.7 Mb

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

Tatiana Yavorskaya
Фотогалерея


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

Аннотация: The propositional logic of proofs LP (S. Artemov, 1995) revealed an explicit provability reading of modal logic S4 and thereby provided a provability semantics for the propositional intuitionistic logic. In the first-order case it was established that the most natural axiomatizability questions for the first-order logic of proofs have negative answers (S. Artemov, T. Yavorskaya, 2001). The questions of provability reading for first-order S4 and the first-order intuitionistic logic HPC remained open until 2011. In my talk I am going present the first-order logic of proofs FOLP and its exact interpretation in formal systems (e.g., in Peano Arithmetic). FOLP is capable of realizing first-order S4 and, therefore, HPC. This provides a semantics of explicit proofs for first-order S4 and HPC compliant with Brouwer-Heyting-Kolmogorov requirements.
(Joint work with S. Artemov.)

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

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