The Resolution Method for 10-Element Linguistic Truth-Valued Propositional Logic

This paper analyzes five kinds of complementary literals based on the 10-element linguistic truth-valued propositional logic system. In order to give an effective resolution method, we define a linguistic hedges compound operation \(\oplus \) and study complementary of linguistic truth-values. Then the resolution method based on a filter J of the system and the corresponding algorithm is constructed. An example is given to illustrate the validity of the proposed method.