Huading Jia

Linguistic Truth-value Lattice-valued Logic System with I mportant Coefficient and Its Application to Evaluation System

Yang Xu, Zaiqiang Zhang, Yang Xu, 2006 .

Resolution principle based on six lattice-valued first-order logic L/sub 6/F(X)

Yang Xu, Yang Xu, D. Meng, 2005, Proceedings. 2005 IEEE Networking, Sensing and Control, 2005..