格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性

张家锋1，曹发生2

α-resolvability of generalized literals in lattice-valued propositional logic(Ln×L2)P(X) .

ZHANG Jiafeng1, CAO Fasheng2

计算机工程与应用 . 2015, (24): 8 -11 .