![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Проект посвящен изучению моделей и разрешимости для модальных и алгебраических логик. Будут рассмотрены полимодальные, суперинтуиционистские, модально-интуиционистские логики, исчисление Ламбека и его варианты, а также связанные с ними алгебраические и реляционные структуры. Будут исследоваться проблемы семантической полноты, определимости, локальной табличности, финитной аппроксимируемости, алгоритмическая сложность проблемы разрешения. С этой целью будут использованы теоретико-модельные, алгебраические, теоретико-игровые и алгоритмические методы, в том числе — развивавшиеся ранее участниками проекта (канонические модели, фильтрации, бисимуляционные игры, игровое построение p-морфизмов, метод интерпретации, сети доказательств и др.).
грант РФФИ |
# | Сроки | Название |
1 | 1 января 2016 г.-31 декабря 2016 г. | Негосударственное образовательное учреждение Московский Центр непрерывного математического образования |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".