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

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





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






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


Modular construction of cut-free calculi for paraconsistent logics

Anna Zamansky

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

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

Anna Zamansky
Фотогалерея


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

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

Аннотация: In this talk we focus on the problem of automatization of paraconsistent reasoning. We describe a general method for a systematic generation of cut-free calculi for thousands of paraconsistent logics known as Logics of Formal (In)consistency (LFIs). The method relies on nondeterministic semantics for these logics, and produces in a modular way uniform Gentzen-type rules, corresponding to a variety of schemata considered in the literature of LFIs.
(Joint work with Arnon Avron and Beata Konikowska).

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

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