西南交通大学教师主页 Xingxing He--Home-- Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021)

Current position: Home > Research > Paper Publications

Paper Publications

Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021)

Translation or Not:no

Pre One:Xingxing He*, Yingfang Li, Keyun Qin: On a new distance measure of three-parameter interval numbers and its application to pattern recognition. Soft Comput. 25(13): 8595-8607 (2021)

Next One:Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions. Soft Comput. 24(1): 523-541 (2020)

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, Yingfang Li: α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021)