Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики

Исследуется интерполяционное свойство в расширениях минимальной логики Йохансона. Предлагается конструкция согласованного произведения моделей, которая позволяет доказать интерполяционное свойство в ряде известных расширений минимальной логики. Доказывается, что, в отличие от суперинтуиционистских, позитивных и негативных логик, сумма $\mathrm J$-логик с интерполяционным свойством CIP может не иметь CIP и даже не обладать ограниченным интерполяционным свойством.