A King of New Kleene Dienes 4 value Logic System K 2 4 Associated with a Nonlinear Ordering Evaluation Lattice
Zheng Ya · Mohu xitong yu shuxue · 1999
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).