Об алгебраической семантике для суперинтуиционистских предикатных логик

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