| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств Д. С. Шамкановa, П. Разумныйb a Математический институт им. В.А. Стеклова Российской академии наук, г. Москва b Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл. |
|||
|
Аннотация: Напомним, что согласно результатам Монтанья предикатный вариант модальной логики Гёделя-Лёба GL, обозначаемый QGL, является неполным как относительно семантики Крипке, так и относительно арифметической семантики. В докладе мы рассмотрим расширение QGL с помощью нефундированных доказательств и обсудим топологическую полноту получившейся инфинитарной системы. Если позволит время, мы также покажем, почему исходное исчисление QGL является неполным относительно топологической интерпретации. Доклад основан на совместном исследовании П.М. Разумного и Д.С. Шамканова. |
|||