Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике

Показывается, что алгебра предложений вполне интуиционистской прототетики, т.е. интуиционистской пропозициональной логики с кванторами, пополненной отрицанием закона исключенного третьего, является точной моделью интуиционистской логики высказываний.