西南交通大学教师主页 Xingxing He--Home-- Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012)

Current position: Home > Research > Paper Publications

Paper Publications

Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012)

Translation or Not:no

Pre One:Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int. J. Comput. Intell. Syst. 5(6): 1120-1134 (2012)

Next One:Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)

Xingxing He

Alma Mater:Southwest Jiaotong University School/Department:数学学院 Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China

Home

Research

Teaching

Receive Honor

Awards and Honours

Enrollment

Student Information

My Album

Blog

Paper Publications

Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012)