Regular Double $p$-Algebras: A converse to a Katriňák's Theorem, and Applications

Juan M. Cornejo, Michael Kinyon, Hanamantagouda P. Sankappanavar

In 1973, Katriňák proved that regular double $p$-algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication a…