Введение
1 Предварительные сведения 8
2 Дизъюнктивное свойство в классе расширений минимальной логики 16
2.1 Дизъюнктивное свойство напарников паранепротиворечивых расширений минимальной логики 17
2.2 Дизъюнктивное свойство логики Lf 22
2.3 Дизъюнктивное свойство логики Lkp 30
2.4 Другие примеры паранепротиворечивых логик с DP 40
3 Канонические формулы для расширений минимальной логики 44
3.1 Алгоритм выделения 50
3.2 Опровержимость на модельной структуре 61
3.3 Канонические формулы 66
3.4 Некоторые приложения техники канонических формул для расширений минимальной логики 77
3.4.1 О моделях паранепротиворечивого аналога логики Скотта 77
3.4.2 О моделях паранепротиворечивой логики Lskp . 109
Литература и работы автора по теме диссертации 117
