Jiafeng Zhang

Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)

Yang Xu, Xingxing He, W. Deng, 2009, 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology.

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X)

Yang Xu, Xingxing He, Jiafeng Zhang, 2014, Int. J. Comput. Intell. Syst..

α — Semantic resolution method in lattice-valued logic

Yang Xu, Jiafeng Zhang, Yang Xu, 2011, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD).