Оноприенко Анастасия//Иерархия семантик интуиционистской логики

Заседание семинара "Современные проблемы математической логики" на факультете математики ВШЭ Докладчик: Анастасия Оноприенко Название: Иерархия семантик интуиционистской логики. Аннотация. Взгляды Брауэра на основания математики привели к изучению интуиционистской логики и её расширений. Со временем это превратилось в самостоятельную отрасль логики, связанную с теорией решёток, топологией, модальной логикой и другими областями. В докладе я расскажу про различные типы семантик интуиционистской логики. Основной идеей является иерархия семантик, организованная по принципу возрастающей общности. Наименее общая - семантика Крипке, далее семантика Бета, топологическая семантика, семантика Драгалина и, наконец, самая общая - алгебраическая семантика.