Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

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