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