Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X)
The International journal of computational intelligence systems/International journal of computational intelligence systems