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

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
1 Предварительные сведения.
1.1 Синтаксис и алгебраическая семантика
1.2 Теоретикомодельная семантика.
1.3 Правила вывода нестандартных логик
2 Критерий принадлежности конечных алгебр квазимногообразию 3А.
3 Базисы допустимых правил.
3.1 Базисы допустимых правил логик глубины 2. . . .
3.2 Базисы допустимых правил логик ширины 2.
3.3 Базис допустимых правил интуиционистской логики I в иолуредуцированной форме
4 Логики, сохраняющие допустимость правил вывода.
4.1 Сохранение допустимости правил вывода в логиках, родственных логике .2.
4.2 4.3логики, сохраняющие допустимость правил
вывода.
СПИСОК ЛИТЕРАТУРЫ