Current position: Home > Research > Paper Publications
Paper Publications
- Xingxing He*, Yingfang Li, Yanghe Feng, On structures of regular standard contradictions in propo...
- Xingxing He*, Yingfang Li, Keyun Qin: On a new distance measure of three-parameter interval numbe...
- Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic ...
- Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: Distance measures on intuitionistic fuzzy sets ba...
- Xingxing He*, Yingfang Li, Limin Du, Keyun Qin: Two computational formulae for similarity measure...
- Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the TL-transitivity of fuzzy similarity measur...
- Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the characterizations of fuzzy XNOR connective...
- Xingxing He*, Yang Xu, Jun Liu: Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic....
- Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: A unified algorithm for finding k -IESFs in linguist...
- Xingxing He*, Yingfang Li, Keyun Qin: On the associative property of fuzzy Xor connectives. J. In...
- Xingxing He*, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan: On α-satisfiability and its α-loc...
- Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: α-Generalized lock resolution method in linguistic ...
- Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in l...
- Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order...
- Xingxing He*, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan: alpha-Satisfiability a...
- Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He: Emphasis on the flipping vari...
Alma Mater:Southwest Jiaotong University
Degree:Doctor of engineering
School/Department:数学学院
Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China