Допустимые и выводимые правила вывода в нестандартных логиках

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
1 ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ О ДОПУСТИМЫХ ПРАВИЛАХ ВЫВОДА В НЕСТАНДАРТНЫХ ЛОГИКАХ
1.1 Модальные, временные и суперинтуиционистские логики.
12 Семантика Кринке
1.3 Допустимые и выводимые правила вывода.
2 ДОПУСТИМОСТЬ ПРАВИЛ ВЫВОДА ДЛЯ НЕКОТОРОГО КЛАССА ЛОГИК, НЕ ОБЛАДАЮЩИХ СВОЙСТВОМ ВЕТВЛЕНИЯ
2.1 Предварительные сведения
2.2 Алгоритмический критерий допустимости правил вывода для некоторого класса логик, не обладающих свойством ветвления.
3 ДОПУСТИМОСТЬ ПРАВИЛ ВЫВОДА ДЛЯ ЛОГИКИ С С ОПЕРАТОРОМ ЗАВТРА
3.1 Предварительные сведения
3.2 Свойства логики С.
3.3 Условие допустимости правил вывода в логике С.
4 СТРУКТУРИОПОЛНЫЕ ЛОГИКИ
4.1 Структурнополные логнки необходимые предварительные сведения
4.2 Описание структурнополиых логик ширины 2, порожденных конечным корневым фреймом с двухэлементным первым слоем
4.3 О ширине структурнополиых табличных логпк.
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА