Resolution method of six-element linguistic truth-valued intuitionistic propositional logic

Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. In this paper, we constructed six-element intuitionistic linguistic truth-valued propositional logic(6LTV-IP) based on the the framework of linguistic truth-valued propositional logic which can express both the comparable and incomparable truth values. With some special properties of 6LTV-IP, we discussed the satisfiable problem of 6LTV-IP and proposed a resolution method of 6LTV-IP.