Доклад Ивана Пыльцына «Нефундированная система исчисления на примере интуиционистской и модальных логик»
15 октября в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Иван Пыльцын
стажёр-исследователь МЛ ЛогЛинФФ
выступит с докладом
«Нефундированная система исчисления на примере интуиционистской и модальных логик»
Аннотация
Представленная и описанная Д.С. Шамкановым, Модальная логика Гёделя-Лёба, расширенная нефундированными выводами, является одним из естественных примеров логики, представляющейся в виде некомпактного отношения следования. Мне удалось обнаружить некомпактную суперинтуиционистскую логику, которую так же возможно задать как расширение интуиционистской логики нефундированными выводами. Таким образом, нефундированные выводы являются интересным подходом к изучению логических систем, выделяющим особый класс среди всевозможных некомпактных расширений известных логик. В докладе будут рассмотрены некоторые аспекты таких систем.