#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
15 октября (среда) в 18:10 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Нефундированная система исчисления на примере интуиционистской и модальных логик.

Докладчик: Иван Пыльцын (стажёр-исследователь МЛ ЛогЛинФФ)

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

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1092782885.html

➰ ВК