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

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

Статистика просмотров:
Эта страница:78
Рогозин Даниил Дмитриевич
Специальность ВАК: 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
http://scholar.google.com/citations?user=MX5rMusAAAAJ&hl=ru
Список публикаций на ZentralBlatt
http://orcid.org/https://orcid.org/0000-0002-6180-4323

Доклады и лекции в базе данных Math-Net.Ru
1. Канонические расширения в логике: основные результаты и примеры использования
Д. Д. Рогозин
Санкт-Петербургский логический семинар
21 апреля 2020 г. 18:30   
2. Локали, ядра и шкалы Драгалина. Лекция 2.
Д. Д. Рогозин
Семинар отдела математической логики «Теория доказательств»
7 октября 2019 г. 18:30   
3. Локали, ядра и шкалы Драгалина
Д. Д. Рогозин
Семинар отдела математической логики «Теория доказательств»
30 сентября 2019 г. 18:30   

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