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

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





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






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


On abstract resource semantics and computabilty logic

Nikolay Vereshchagin

Moscow Lomonosov State University
Видеозаписи:
Flash Video 286.0 Mb
Flash Video 1,740.1 Mb
MP4 286.0 Mb

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

Nikolay Vereshchagin
Фотогалерея


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

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

Аннотация: We show that the uniform validity is equivalent to the non-uniform validity for Blass' semantics of [1]. We present a shorter proof (than that of [2]) of the completeness of the positive fragment of intuitionistic logic for this semantics, computability logic semantics, and the abstract resource semantics.

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

Список литературы
  1. A. Blass, “A game semantics for linear logic”, Ann. Pure Appl. Logic, 56:1-3 (1992), 183–220  crossref  mathscinet  zmath  isi  scopus
  2. by G. Japaridze “The intuitionistic fragment of computability logic at the propositional level”, Ann. Pure Appl. Logic, 147:3 (2007), 187–227  crossref  mathscinet  zmath  isi  scopus


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