In this article, an Interval-valued Fuzzy Propositional Logic System is built by defining an →G -implication and standard interval. In this system the classification of generalized quasi-tautology is discussed. Then the ascent algorithm and generalized quasi-tautology are discussed in the part-valued Interval-valued Fuzzy Propositional Logic . At last ,this article introduced the concept of a ? truth degree and discussed the distribution in [0,1] . The results are obstained which are similar to the theory of generalized tautology in the one-dimensional valued-lattice introduced by Wang Guojun. This indicates: we can generalize professor Wang Guo-jun's theory of tautology about one –dimensional evaluation lattice by doing some researches on implicated-opera-tion and tautology. the researches have obvious reality background, so they are necessary and indispensable.
|