摘要
研究赋值格为非线性序，其格结构不同于Ｂｏｏｌｅ代数，而蕴涵算子→取Ｋｌｅｅｎ－Ｄｉｅｎｅｓ算子ＲＫＤ的一种新的６值逻辑系统Ｋ１６的语义理论，得到若干结果；特别是Ｋ１６中的准重言式恰与Ｃ２中的重言式一致：ＱＴ（Ｋ１６）＝Ｔ（Ｃ２）。
Abstract In this paper, a kind of 6 value logic system K 1 6 associated with a nonlinear ordering evaluation lattice is researched. In this system, the lattic 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 1 6 pretautologies are just the C 2 tautologies, i.e., QT(K 1 6)=T(C 2) .
出处
《工程数学学报》
CSCD
北大核心
1999年第2期89-93,62,共6页
Chinese Journal of Engineering Mathematics
基金
陕西省教委专项科研基金
陕西省科委自然科学研究计划项目
