In this paper, the logical algebra and the properties of generalized tautology are discussed in Limited Interval-Valued Fuzzy Propositional Logic; By modifying the original S-implication into R0-implication and generalizing Professor Wang Guo-jun's theory aboutgeneralized tautology, we find out the largest subalgebra in Interval-Valued Fuzzy Propositional Logic, discuss the properties and classification of generalized tautology in it, and put forward the definition of part-valued generalized tautology and the ascent algorithm of it. This indicates: Professor Wang Guo-jun's theory of Tautology about one-dimensional evaluation lattice can be generalized in two-dimensional evaluation lattice by adding some restriction condition, and the condition has obvious reality background, thus, the restriction is necessary and indispensable.
|