赋值格为险象识别格的一种非经典逻辑系统K~#(Ⅱ)(英文)

A New Kind of Nonclassical Logical System K~# which Takes Dangerous Signal Recognition Lattice as Evaluation Lattice(Ⅱ)

研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) =Φ├ .

In this paper, a new kind of non-classical logic system K~# associated with a nonlinear ordering evaluation lattice is researched. In this new system, the lattice structure is different from Boolean algebra, the implication operator → is just the Kleene-Dienes operator R-(KD). Some results are obtained. Especially, in this system, the K~#-pretautologies just conincide with the C-2-tautologies in classical propositional calculus C-2 and so coincide with the theorems in C-2,i.e.,QT(K~#)=T(C-2)=Φ~├.