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