Samir, B.; Merdach, H. H. Implicative Algebras and Heyting Algebras Can Be Residuated Lattices. JPRM 2017, 12, 2010-2014.