SAMIR, B.; MERDACH, H. H. Implicative algebras and Heyting algebras can be residuated lattices. Journal of Progressive Research in Mathematics, v. 12, n. 4, p. 2010-2014, 25 out. 2017.