n值标准序列逻辑系统S_n的子代数及其重言式理论

The Subalgebra and Tautology in n-valued Logic System S_n

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.

n - valued standard serial Logic System Sn is discussed , and the sufficient and necessary condition to judge its subalgebra is given. The tautology in differentfuzzy logic system Sn is compared. A sufficient condition for judging a non - tautology in n - valued system Sn was presented.