Статья в сборнике "Математические вопросы кибернетики" №5, Москва, 1994
Авторы:Чагров А.В.
Неразрешимые свойства суперинтуиционистских логик
Аннотация:
Суперинтуиционистские логики получаются из интуиционистской логики путем добавления к ней дополнительных аксиом. Основная цель работы - разработка методов доказательства неразрешимости различных свойств суперинтуиционистских логик, а также родственных им фрагментов модальных логик. В статье предложены три уровня применения этих методов. Известные и новые результаты о разрешимости свойств суперинтуиционистских и модальных логик сведены в таблицу, состоящую из 38 строк (свойств) и 8 столбцов (логик).