Lattice-Valued Logic door Da Ruan, Keyun Qin & Yang Xu