Сотрудники ЛогЛинФФа приняли участие в конференции в Санкт-Петербурге

Сотрудники ЛогЛинФФа (в.н.с. В.Л.Васюков, зав.лаб. Е.Г.Драгалина-Черная, зам.зав.лаб. В.В.Долгоруков и с.н.с. А.В. Родин) приняли участие в конференции «Logic Today: Developments and Perspectives», которая прошла на философском факультете Санкт-Петербургского Государственного Университета с 31 мая по 2 июня 2018.

Елена Григорьевна Драгалина-Черная выступила с пленарным докладом: «Материальное следование и материальное обоснование в программе Больцано-Тарского» .pdf , а Владимир Леонидович Васюков, Виталий Владимирович Долгоруков и Андрей Вячеславович Родин приняли участие в секционных заседаниях, где выступили со следующими докладами:

• «Kantians Motives in Intuitionistic Logic» (В.Л.Васюков)
• «The Ontological Square and Modern Type Theories» pdf (В.В.Долгоруков)
• «Univalent Foundations and the Constructive View of Theories» (А.В.Родин)