Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu 0001, Xiaodong Pan. -Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems. Int. J. Computational Intelligence Systems, 8(sup1):75-84, 2015. [doi]
Abstract is missing.