| |
Рогозин Даниил Дмитриевич
|
| В базах данных Math-Net.Ru |
| Лекций и докладов: |
5 |
| Статистика просмотров: |
| Эта страница: | 436 |
|
| Специальность ВАК: |
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
|
|
 |
https://www.mathnet.ru/rus/person149656 |
 |
https://scholar.google.com/citations?user=MX5rMusAAAAJ&hl=ru |
 |
Список публикаций на ZentralBlatt |
 |
https://orcid.org/0000-0002-6180-4323
|
|
| Доклады и лекции в базе данных Math-Net.Ru |
|
|
| Организации |
|
Обратная связь: