Given two elements V,W in the Boolean algebra associated to a given KBS, the equivalence of V and W can be studied by checking whether
is the whole ring or not (see [LR2] for details).
Let us observe that an implication 
can also
be studied as above. It is
enough to check whether 
is always true or not.