A framework of linguistic truth-valued propositional logic based on lattice implication algebra | IEEE Conference Publication | IEEE Xplore