α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system.

Weitao Xu

Browse the full ISKE paper archive.