Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Рогозин Даниил Дмитриевич

В базах данных Math-Net.Ru
Лекций и докладов: 4

Статистика просмотров:
Эта страница:131
Рогозин Даниил Дмитриевич
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 14.03.1994
Ключевые слова: Теоретико-модельные аспекты булевых алгебр с операторами

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

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

   
Основные публикации:
  1. Daniel Rogozin, “Quantale semantics of Lambek calculus with subexponential modalities”, https://arxiv.org/abs/1908.01055, arXiv, 2019
  2. Daniel Rogozin, “Quantale semantics for Lambek calculus with subexponentials”, https://math.unice.fr/tacl/assets/2019/abstracts.pdf, TACL 2019. Abstracts., 2019
  3. 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

http://www.mathnet.ru/rus/person149656
https://scholar.google.com/citations?user=MX5rMusAAAAJ&hl=ru
Список публикаций на ZentralBlatt
http://orcid.org/https://orcid.org/0000-0002-6180-4323

Доклады и лекции в базе данных Math-Net.Ru
1. The distributive full Lambek calculus with modal operators
D. Rogozin
18 июня 2021 г. 12:00
2. Канонические расширения в логике: основные результаты и примеры использования
Д. Д. Рогозин
Семинар лаборатории математической логики (Санкт-Петербург)
21 апреля 2020 г. 18:30   
3. Локали, ядра и шкалы Драгалина. Лекция 2.
Д. Д. Рогозин
Семинар отдела математической логики «Теория доказательств»
7 октября 2019 г. 18:30   
4. Локали, ядра и шкалы Драгалина
Д. Д. Рогозин
Семинар отдела математической логики «Теория доказательств»
30 сентября 2019 г. 18:30   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021