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 April 3, 2025. http://scitecresearch.com/journals/index.php/jprm/article/view/1271.