alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)

Xiaomei Zhong, Yang Xu. alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). Multiple-Valued Logic and Soft Computing, 22(4-6):581-598, 2014.

Abstract

Abstract is missing.