The following publications are possibly variants of this publication:
- Multiary α-Resolution Principle for a Lattice-Valued LogicYang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen. tfs, 21(5):898-912, 2013. [doi]
- α-Minimal Resolution Principle For A Lattice-Valued LogicHairui Jia, Yang Xu, Yi Liu, Jun Liu. ijcisys, 8(1):34-43, 2015. [doi]
- α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic systemWeitao Xu. iske 2017: 1-5 [doi]
- On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logicXingxing He, Yang Xu, Jun Liu, Shuwei Chen. soco, 16(4):699-709, 2012. [doi]
- α-Generalized lock resolution method in linguistic truth-valued lattice-valued logicXingxing He, Yang Xu, Jun Liu, Shuwei Chen. ijcisys, 5(6):1120-1134, 2012. [doi]
- Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional LogicYang Xu, Shuwei Chen, Jun Liu, Da Ruan. ifsa 2007: 358-366 [doi]
- A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued LogicShuwei Chen, Yang Xu, Jun Ma. fskd 2005: 276-284 [doi]
- A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIALi Zou, Jinglong Li, Kaijun Xu, Yang Xu. fskd 2007: 32-36 [doi]
- Linguistic truth-valued lattice-valued propositional logic system ::::l::::P(X) based on linguistic truth-valued lattice implication algebraJiajun Lai, Yang Xu. isci, 180(10):1990-2002, 2010. [doi]
- alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional LogicDan Meng, Yang Xu. jcis 2002: 89-91
- Filter-based resolution principle for lattice-valued propositional logic LP(::::X::::)Jun Ma, Wenjiang Li, Da Ruan, Yang Xu. isci, 177(4):1046-1062, 2007. [doi]
- A framework of linguistic truth-valued propositional logic based on lattice implication algebraLi Zou, Jun Ma, Yang Xu. grc 2006: 574-577 [doi]
- alpha-Resolution principle based on lattice-valued propositional logic LP(X)Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu. isci, 130(1-4):195-223, 2000.