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