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

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

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