О дизъюнктивном свойстве в классе паранепротиворечивых расширений минимальной логики

Рассматривается дизъюнктивное свойство $(\mathbf{DP})$ в классе расширений минимальной логики $\mathbf{L}_j$. Описываются условия трансляции $\mathbf{DP}$ из класса $\mathbf{PAR}$ собственно паранепротиворечивых расширений логик класса $\mathbf{L}_j$ в классы $\mathbf{INT}$ промежуточных расширений и $\mathbf{NEG}$ негативных расширений, а также условия обратной трансляции в класс $\mathbf{PAR}$. Определяется и характеризуется в терминах $j$-алгебр и шкал Крипке логика $\mathbf{L}_F$ класса $\mathbf{PAR}$, определяющая условия трансляции $\mathbf{DP}$ из класса $\mathbf{PAR}$ в класс $\mathbf{NEG}$. Кроме того показывается, что логика ${\mathbf L}_F$ разрешима и обладает дизъюнктивным свойством.