Новости Международной лаборатории логики, лингвистики и формальной философии

Октябрь 2022 года очень богат новостями мира логики в нашем университете. Доклады наших стажеров-исследователей не исключение

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

Доклад  посвящен обзору логики свидетельств, которая была открыта в результате поиска нового прочтения BHK семантики. В докладе были рассмотрены различные системы логики свидетельств и их отношения с модальными логиками.

Посмотреть видео выступления исследовательницы вы можете на странице Международной лаборатории