Аннотация:
Напомним, что согласно результатам Монтанья предикатный вариант модальной логики Гёделя-Лёба GL, обозначаемый QGL, является неполным как относительно семантики Крипке, так и относительно арифметической семантики. В докладе мы рассмотрим расширение QGL с помощью нефундированных доказательств и обсудим топологическую полноту получившейся инфинитарной системы. Если позволит время, мы также покажем, почему исходное исчисление QGL является неполным относительно топологической интерпретации. Доклад основан на совместном исследовании П.М. Разумного и Д.С. Шамканова.
Обратная связь: