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

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