ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Рассматривается пропозициональный фрагмент HC совместной логика задач и высказываний QHC, введённой С. А. Мелиховым. Предлагаются топологические модели этой логики. Также рассмотрены топологические модели логики H4, являющейся расширением так называемой «lax logic». Для всех этих моделей доказана теорема о корректности и полноте.