Valuation sets in lattice-valued propositional logic LP(X). - Xuefang Wang 002; Ming Qing (FUZZ-IEEE, 2003)

Resolution based on six lattice-valued proposition logic LP6(X). - Dan Meng; Xuefang Wang 002; Yang Xu 001; Keyun Qin (SMC, 2003)

Graded consequence relations of lattice-valued propositional logic LP(X). - Xuefang Wang 002; Dan Meng; Yang Xu 001; Keyun Qin (SMC, 2003)