Интерполяционное свойство и суперинтуиционистские предикатные логики

Опровергается интерполяционная теорема в естественных классах суперинтуиционистских и промежуточных предикатных логик. Логики этих классов характеризуются шкалами Крипке, в которых мощность всех или почти всех предметных областей совпадает с некоторым фиксированным натуральным $i>2$. В частности, опровергается интерполяционная теорема в соответствующих предикатных расширениях пропозициональных логик, обладающих интерполяционным свойством. Строятся суперинтуиционистские логики с равенством, обладающие интерполяционным свойством, чьи предикатные фрагменты без равенства указанного свойства не имеют.
Библиогр. 8.