Доклад «Минимальная вполне-определённая логика и её теории»

16 сентября на логическом семинаре лаборатории имени Ю.И.Манина, проходящем в ВШМ МФТИ, И.А.Горбуновым и М.Н.Рыбаковым был представлен доклад «Минимальная вполне-определённая логика и её теории». 

В этом докладе авторы представили новые результаты, касающиеся свойств расширений минимальной вполне-определённой логики, а также теорий над этой логикой.