#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 10.04.2026 в 16:20

Докладчик: Павел Разумный

Тема: Слабая полнота логики QGL, расширенной нефундированными выводами, в сигнатуре с функциональными символами.

Аннотация: Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Ранее Д. С. Шамкановым и П. Разумным было доказано, что в случае чисто предикатной сигнатуры эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о слабой полноте для случая произвольной сигнатуры.