α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system | IEEE Conference Publication | IEEE Xplore