We consider the disjunction property for the extensions of minimal logic. Two continual classes of proper paraconsistent extensions with the disjunction property are defined. Besides, we obtain algebraic and semantic characteristics of the paraconsistent analog of the Kreisel-Putnam logic L KP and prove that L KP ∈ DP .
Рассматривается дизъюнктивное свойство (DP ) в классе расширений минимальной логики. Определены два континуальных класса собственно паранепротиворечивых логик с DP . Кроме того, получена характеризация в терминах j-алгебр и шкал Крипке паранепротиворечивого аналога логики Крайзеля-Патнема L KP и показано, что L KP ∈ DP .