Samir, Basim, Department of Mathematics, Faculty of Science, Assiut University, Assiut 71516, Egypt, Egypt

• Journal of Progressive Research in Mathematics Vol 12 No 4: JPRM - Articles
  Implicative algebras and Heyting algebras can be residuated lattices
  Abstract  PDF