Интерполяционное свойство Крейга для операторных логик доказательств

Рассматривается интерполяционное свойство Крейга для введенной С. Н. Артемовым операторной логики доказательств, описывающей вычислимые операции над доказательствами, допускающие пропозициональное описание. Дано определение сильного и слабого варианта интерполяционного свойства для операторной логики доказательств. Доказано, что минимальная логика доказательств $\mathfrak{LP}_\varnothing $ обладает слабым и не обладает сильным свойством Крейга.
Библиогр. 5.