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

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





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






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


Deskolemization, equality and logical complexity

Daniel Weller

Vienna University of Technology
Видеозаписи:
Flash Video 301.1 Mb
Flash Video 1,830.4 Mb
MP4 301.1 Mb

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

Daniel Weller
Фотогалерея


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

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

Аннотация: Skolemization is a well-known method to eliminate one type of quantifier from formulas and (cut-free) proofs. We are interested in questions about proof complexity (in the sense of logical complexity, i.e. the number of sequents in a proof): how much shorter can a proof of the Skolemization of F be when compared to proofs of F? We will show that in the presence of the equality schema, there exists an arbitrary speed-up. The result is proved using techniques from the generalization of proofs.

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

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