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