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

Рассматриваются предикатные суперинтуиционистские логики с равенством. Доказывается отсутствие интерполяционного свойства и свойства Бета у всех предикатных суперинтуиционистских логик, содержащих логику, характеризуемую всеми шкалами, у которых все предметные области конечны, и содержащихся в классической логике конечных областей. Устанавливается отсутствие интерполяционного свойства у веет предикатных суперинтуиционистских логик, содержащих логику, характеризуемую всеми шкалами, у которых все предметные области нефинальных миров конечны, и содержащихся в логике, характеризуемой всеми двухэлементными шкалами с конечными константными областями.