1x | | implica- tive) weak closure operation., commutative, positive implicative, BCI-algebra, BCK-algebra, finite type closure operation., closure operation, (quasi-prime, weak closure operation of finite type, meet ideal, meet set, plus ideal, meet operation, semiring., addition, Lower BCK-semilattice |