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

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

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

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


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

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

Аннотация: 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
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017