赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2

A King of New Kleene Dienes 4 value Logic System K 2 4 Associated with a Nonlinear Ordering Evaluation Lattice

研究赋值格为非线性序，非运算 ｜不同于Ｂｏｏｌｅ 的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ 的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２ 中的重言式一致，即ＱＴ（Ｋ２４）＝ Ｔ（Ｃ２）。

A kind of new Kleene Dienes 4 value logic system K 2 4 associated with a nonlinear ordering evaluation lattice is researched. In which system,the operator | is not Boolean complement ′,the implication operator → is the Kleene Dienes operator R KD . Some results are obtained. Especially, in this system, there are not any tautologies,i.e., T(K 2 4) =; K 2 4 pretautologies are just C 2 tautologies,i.e.,QT(K 2 4)=T(C 2).