西南交通大学教师主页 zhongxiaomei--Home--Paper Publications

Lecturer (higher education)

+

Supervisor of Master's Candidates

Personal Information

Education Level: PhD graduate

Alma Mater: 西南交通大学

School/Department: 数学学院

VIEW MORE

Home > Research > 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

total5 1/1

firstpreviousnextlast