Некоторые замечания о конструктивных расширениях минимальной логики

Рассматривается дизъюнктивное свойство $(DP)$ в классе расширений минимальной логики. Определены два континуальных класса собственно паранепротиворечивых логик с $DP$. Кроме того, получена характеризация в терминах $j$-алгебр и шкал Крипке паранепротиворечивого аналога логики Крайзеля–Патнема $L_{KP}$ и показано, что $L_{KP}\in DP$.