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.

Sun Apr 23 10:32:10 MDT 1995