TY - RPRT TI - JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras AU - Hanamantagouda P. Sankappanavar PY - 2017 UR - https://arxiv.org/abs/1512.05441 ID - 1512.05441 ER -