Сотрудники ЛогЛинФФа приняли участие в конференции в Санкт-Петербурге
Сотрудники ЛогЛинФФа (в.н.с. В.Л.Васюков, зав.лаб. Е.Г.Драгалина-Черная, зам.зав.лаб. В.В.Долгоруков и с.н.с. А.В. Родин) приняли участие в конференции «Logic Today: Developments and Perspectives», которая прошла на философском факультете Санкт-Петербургского Государственного Университета с 31 мая по 2 июня 2018.
- «Kantians Motives in Intuitionistic Logic» (В.Л.Васюков)
- «The Ontological Square and Modern Type Theories» pdf (В.В.Долгоруков)
- «Univalent Foundations and the Constructive View of Theories» (А.В.Родин)