Новости Международной лаборатории логики, лингвистики и формальной философии
Октябрь 2022 года очень богат новостями мира логики в нашем университете. Доклады наших стажеров-исследователей не исключение
Елена Попова, стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии, представила доклад «Логики свидетельств» на семинаре "Неклассические логики" (руководители семинара:С. Л. Кузнецов иС.О.Сперанский, Математический институт имени В. А. Стеклова РАН).
Доклад посвящен обзору логики свидетельств, которая была открыта в результате поиска нового прочтения BHK семантики. В докладе были рассмотрены различные системы логики свидетельств и их отношения с модальными логиками.
Посмотреть видео выступления исследовательницы вы можете на странице Международной лаборатории