Об интерполяционном свойстве для расширений доказуемостно-интуиционистской логики

Изучено интерполяционное свойство расширений доказуемостно-интуициони- стского пропозиционального исчисления $I^\Delta$, задаваемого постулатами интуиционистского исчисления и формулами $(p\supset\Delta p)$, $((\Delta p\supset p)\supset p)$, $((p\supset q)\supset(\Delta q\supset p))$. Посредством связи этого свойства с понятием амальгамируемости соответствующих многообразий алгебр доказано существование континуума финитно-аппроксимируемых расширений исчисления $I^\Delta$, обладающих интерполяционным свойством и приведен пример расширения, не обладающего им.
Библиогр. 7 назв.