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

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

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

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