Samir, B., & Merdach, H. H. (2017). Implicative algebras and Heyting algebras can be residuated lattices. Journal of Progressive Research in Mathematics, 12(4), 2010-2014. Retrieved from http://scitecresearch.com/journals/index.php/jprm/article/view/1271