Дизъюнктивное свойство и канонические формулы в классе расширений минимальной логики

Оглавление
Введение
1 Предварительные сведения
2 Дизъюнктивное свойство в классе расширений минимальной логики
2.1 Дизъюнктивное свойство напарников паранепротиворечи
вых расширений минимальной логики
2.2 Дизъюнктивное свойство логики Ы.
2.3 Дизъюнктивное свойство логики Ькр.
2.4 Другие примеры паранепротиворечивых логик с ИР. .
3 Канонические формулы для расширений минимальной логики
3.1 Алгоритм выделения
3.2 Опровержимость на модельной структуре.
3.3 Канонические формулы
3.4 Некоторые приложения техники канонических формул для
расширений минимальной логики .
3.4.1 О моделях паранепротиворечивого аналога
логики Скотта
3.4.2 О моделях паранепротиворечивой логики Ьвкр . .
Литература