Linguistic truth-valued lattice-valued propositional logic system ℓP(X) based on linguistic truth-valued lattice implication algebra - Lai, Jiajun; Xu, Yang (Information sciences, 2010)