Remark 3.10. Since every BCI-algebra is a BCH-algebra and weak positive implicativeness
and weak implicativeness coincide with positive implicativeness and implicativeness,
respectively, in BCK-algebras [1], therefore the following results of Chaudhry
and Iséki follow as corollaries of Theorem 3.4.