Jiafeng Zhang, Yang Xu. α - Semantic resolution method in lattice-valued logic. In Eighth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, 26-28 July 2011, Shanghai, China. pages 396-400, IEEE, 2011. [doi]
Abstract is missing.