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

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






Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 15:00, г. Москва
 


Weak interpolation property over the minimal logic

Larisa Maksimova
Видеозаписи:
Windows Media 185.6 Mb
Flash Video 310.8 Mb
MP4 194.6 Mb

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

Larisa Maksimova



Аннотация: Weak interpolation property WIP in extensions of Johansson's minimal logic J is investigated. A weak version of the joint consistency property equivalent to WIP is found. It is proved that the weak interpolation property is decidable over J.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024