The following publications are possibly variants of this publication:
- -Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic SystemsWeitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu 0001, Xiaodong Pan. ijcisys, 8(sup1):75-84, 2015. [doi]
- Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order LogicHairui Jia, Yi Liu, Yang Xu. iske 2015: 21-25 [doi]
- Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order LogicYang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen. iske 2015: 1-7 [doi]
- alpha-resolution method for a lattice-valued first-order logicXingxing He, Yang Xu, Jun Liu, Da Ruan. eaai, 24(7):1274-1280, 2011. [doi]
- Determination of α-resolution in lattice-valued first-order logic LF(X)Yang Xu, Jun Liu, Da Ruan, Xiaobing Li. isci, 181(10):1836-1862, 2011. [doi]
- ::::alpha::::-Satisfiability and ::::alpha::::-Lock Resolution for a Lattice-Valued Logic LP(X)Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez, Da Ruan. HAIS 2010: 320-327 [doi]
- Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference FrameworkJun Liu, Luis Martínez, Yang Xu, Zhirui Lu. ifsa 2007: 629-639 [doi]
- alpha-Resolution principle based on first-order lattice-valued logic LF(X)Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu. isci, 132(1-4):221-239, 2001. [doi]
- α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic systemWeitao Xu. iske 2017: 1-5 [doi]