alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)

Xiaomei Zhong, Yang Xu. alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). Multiple-Valued Logic and Soft Computing, 22(4-6):581-598, 2014.

Authors

Xiaomei Zhong

This author has not been identified. Look up 'Xiaomei Zhong' in Google

Yang Xu

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