Samir, B., and H. H. Merdach. “Implicative Algebras and Heyting Algebras Can Be Residuated Lattices”. Journal of Progressive Research in Mathematics, Vol. 12, no. 4, Oct. 2017, pp. 2010-4, http://scitecresearch.com/journals/index.php/jprm/article/view/1271.