西南交通大学教师主页 Xingxing He--Home-- Xingxing He*, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan: On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20(3): 579-588 (2012)

Current position: Home > Research > Paper Publications

Paper Publications

Xingxing He*, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan: On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20(3): 579-588 (2012)

Translation or Not:no

Pre One:Xingxing He*, Yingfang Li, Keyun Qin: On the associative property of fuzzy Xor connectives. J. Intell. Fuzzy Syst. 25(1): 1-7 (2013)

Next 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)

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*, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan: On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20(3): 579-588 (2012)