Samir, Basim, and Huda H. Merdach. 2017. “Implicative Algebras and Heyting Algebras Can Be Residuated Lattices”. Journal of Progressive Research in Mathematics 12 (4), 2010-14. http://scitecresearch.com/journals/index.php/jprm/article/view/1271.