The following publications are possibly variants of this publication:
- 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]
- α - Semantic resolution method in lattice-valued logicJiafeng Zhang, Yang Xu. fskd 2011: 396-400 [doi]
- α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued LogicXiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen. ijcisys, 7(3):418-431, 2014. [doi]
- Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional LogicYang Xu, Shuwei Chen, Jun Liu, Da Ruan. ifsa 2007: 358-366 [doi]
- Resolution method of six-element linguistic truth-valued intuitionistic propositional logicLi Zou, Fang Sun, Yang Xu 0001. iske 2008: 141-145 [doi]
- General form of α-resolution principle for linguistic truth-valued lattice-valued logicXiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen. soco, 16(10):1767-1781, 2012. [doi]