Персоналии: Рогозин Даниил Дмитриевич

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Рогозин Даниил Дмитриевич

Специальность ВАК:

01.01.06 (математическая логика, алгебра и теория чисел)

Дата рождения:

14.03.1994

Ключевые слова:

Теоретико-модельные аспекты булевых алгебр с операторами

Основные темы научной работы

модальная логика, алгебраическая логика, алгебры отношений

Основные публикации:

Daniel Rogozin, “Quantale semantics of Lambek calculus with subexponential modalities”, https://arxiv.org/abs/1908.01055, arXiv, 2019
Daniel Rogozin, “Quantale semantics for Lambek calculus with subexponentials”, https://math.unice.fr/tacl/assets/2019/abstracts.pdf, TACL 2019. Abstracts., 2019
Daniel Rogozin, “Modal Type Theory Based on the Intuitionistic Modal Logic $IEL^{-}$”, Logical Foundations of Computer Science, Lecture Notes in Computer Science, 2020, 236–248

Доклады и лекции в базе данных Math-Net.Ru

1.	Алгебры отношений: введение, обзор результатов и открытых вопросов Д. Д. Рогозин Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика" 16 февраля 2022 г. 18:00
2.	The distributive full Lambek calculus with modal operators D. Rogozin Logical Perspectives 2021: Summer School and Workshop 18 июня 2021 г. 12:00
3.	Канонические расширения в логике: основные результаты и примеры использования Д. Д. Рогозин Семинар лаборатории математической логики (Санкт-Петербург) 21 апреля 2020 г. 18:30
4.	Локали, ядра и шкалы Драгалина. Лекция 2. Д. Д. Рогозин Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 7 октября 2019 г. 18:30
5.	Локали, ядра и шкалы Драгалина Д. Д. Рогозин Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 30 сентября 2019 г. 18:30

Организации

Обратная связь: