In 1973, Katriňák proved that regular double -algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heyting implication and its dual in terms of pseudocomplement and its dual. In this paper, we prove a converse to Katriňák’s theorem, in the sense that in the variety of regular dually pseudocomplemented Heyting algebras, the implication operation → satisfies Katriňák’s formula. As applications of this result together with the above-mentioned Katriňák’s theorem, we show that the varieties , , and of regular double -algebras, regular dually pseudocomplemented Heyting algebras, regular pseudocomplemented dual Heyting algebras, and regular double Heyting algebras, respectively, are term-equivalent to each other and also that the varieties , , , of regular De Morgan -algebras, regular De Morgan Heyting algebras, regular De Morgan double Heyting algebras, and regular De Morgan double -algebras, respectively, are also term-equivalent to each other. From these results and recent results of Adams, Sankappanavar and Vaz de Carvalho on varieties of regular double -algebras and regular pseudocomplemented De Morgan algebras, we deduce that the lattices of subvarieties of all these varieties have cardinality . We then define new logics, , and , and show that they are algebraizable with , and , respectively, as their equivalent algebraic semantics. It is also deduced that the lattices of extensions of all of the above mentioned logics have cardinality