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

Доказывается, что интерполяционная теорема Крейга в суперинтуиционистской логике эквивалентна любому из следующих свойств соответствующего многообразия псевдобулевых алгебр: интерполяционному принципу для равенств, интерполяционному принципу для неравенств, амальгамируемости, сверхамальгамируемости, сильной амальгамируемости, слабой амальгамируемости. Описаны все амальгамируемые многообразия псевдобулевых алгебр; их оказалось восемь. Как следствие разрешима проблема истинности теоремы Крейга в суперинтуиционистских конечно-аксиоматизируемых логиках.