|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Исследование разрешимых фрагментов модальных и алгебраических логикНИР
- Руководитель НИР: Шехтман В.Б.
- Участники НИР: Золин Е.Е., Измайлов М.М., Кикоть С.П., Кудинов А.В., Осипов И.И., Пентус М.Р., Сорокин А.А., Чижов А.С., Шапировский И.Б.
- Сторонняя организация: Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
- Срок исполнения: 1 января 2011 г. - 31 декабря 2013 г.
- Номер договора (контракта, соглашения): 11-01-00958
- Тип: Фундаментальная
- Приоритетное направление научных исследований: другое
-
Рубрики ГРНТИ:
- 27.03.19 Математическая логика
-
Ключевые слова:
алгебраическая логика, модальная логика, исчисление ламбека, мультипликативная линейная логика, вычислительная сложность, разрешимость
- Добавил в систему: Золин Евгений Евгеньевич
Источник финансирования НИР
| грант РФФИ |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2011 г.-31 декабря 2013 г. | Исследование разрешимых фрагментов модальных и алгебраических логик |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".