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