B. Samir and H. H. Merdach, “Implicative algebras and Heyting algebras can be residuated lattices”, JPRM, vol. 12, no. 4, pp. 2010-2014, Oct. 2017.