Then the ascent algorithm and generalized quasi-tautology are discussed in the part-valued Interval-valued Fuzzy Propositional Logic .

• 在此基础上给出局部赋值的广义拟重言式定义；并在其中建立了升级算法.