α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen. α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. Int. J. Computational Intelligence Systems, 7(3):418-431, 2014. [doi]

Abstract

Abstract is missing.