Paper Publications
-
General form of α-resolution principle for linguistic truth-valued lattice-valued logic,Xiaomei Zhong,Jun Liu,Shuwei Chen,Yang Xu.Soft Computing,2012,10(16):1767-1781
-
Multiary α-Resolution Principle for a Lattice-Valued Logic,Yang Xu,Xiaomei Zhong,Shuwei Chen,Jun Liu.IEEE Transactions on Fuzzy Systems,2013,21(5):898-912
-
α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X),Xiaomei Zhong,Yang Xu.Journal of Multiple-Valued Logic and Soft Computing,2014,22(4-6):581-598
-
α-Quasi-lock semantic resolution method based on lattice-valued logic,Xiaomei Zhong,Shuwei Chen,Jun Liu,Yang Xu.International Journal of Computational Intelligence Systems,2014,7(3):418-431
-
Contradiction separation based dynamic multi-clause synergized automated deduction,Yang Xu,Jun Liu,Xiaomei Zhong,Shuwei Chen,Xingxing He.Information Sciences,2018, 462:93–113
