Samir B, Merdach HH. Implicative algebras and Heyting algebras can be residuated lattices. JPRM [Internet]. 25Oct.2017 [cited 5May2024];12(4):2010-4. Available from: http://scitecresearch.com/journals/index.php/jprm/article/view/1271