A framework of linguistic truth-valued propositional logic based on lattice implication algebra
Li Kun Zou, Jun Ma, Yang Xu · 2006
The linguistic truth values with linguistic hedges is considered. The linguistic hedge operators in the proposition are put forward and the truth values are divided into different grades. Based on lattice implication algebra a framework of linguistic truth-valued propositional logic is presented to deal with both comparable and incomparable of linguistic truth value. The properties of the propositional formula are discussed. Then based on a filter J of L, J-true, J-false of a formula, J-similar literals and J-complementary literals are defined. In the filter, J -resolution method of the linguistic truth value propositional logic is presented.