Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках

Содержание
ВВЕДЕНИЕ
1 СЕМАНТИЧЕСКИЕ МЕТОДЫ В ИССЛЕДОВАНИЯХ ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА
1.1 Синтаксис модальных и суперинтуиционистских логик.
1.2 Строение моделей Крипке.
1.3 Алгебраическая семантика для модальных и суперинтуиционистских логик .
1.4 Применение пхарактеристических моделей Крипке в исследованиях допустимых правил вывода
1.5 Связь между сунеринтуиционисгскими и модальными логиками
2 РАЗРЕШИМОСТЬ ПО ДОПУСТИМОСТИ
МОДАЛЬНЫХ ЛОГИК и 6у
2.1 Предварительные сведения
2.2 Алгоритм распознавания допустимых правил вывода
модальных логик фаг и
2.3 Сохранение допустимости правил вывода при Т переводе в модельно равномерных по допустимости логиках.
3 НАСЛЕДОВАНИЕ ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА В ТРАНЗИТИВНЫХ МОДАЛЬНЫХ
И СУПЕРИНТУИЦИОНИСТСКИХ ЛОГИКАХ
3.1 Предварительные сведения
3.2 Критерий наследования допустимых правил вывода модальной логики К4 .
3.3 Наследование допустимых правил вывода логики К4 и табличные модальные логики
3.4 Признаки наследования допустимых правил вывода для финитно аппроксимируемых транзитивных модальных и суперинтуиционистских логик, модельно равномерных по допустимости
4 ПОСТРОЕНИЕ ЯВНОГО БАЗИСА ДЛЯ
ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА
МОДАЛЬНОЙ ЛОГИКИ КА
4.1 Предварительные сведения
4.2 Построение явного базиса для правил вывода, допустимых в модальной логике КА
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ
ВВЕДЕНИЕ
Актуальность