α - Semantic resolution method in lattice-valued logic

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]

Authors

Jiafeng Zhang

This author has not been identified. Look up 'Jiafeng Zhang' in Google

Yang Xu

This author has not been identified. Look up 'Yang Xu' in Google