研究赋值格为非线性序，其格结构不同于Ｂｏｏｌｅ代数，而蕴函算子→取Ｋｌｅｅｎ－Ｄｉｅｎｅｓ算子ＲＫＤ的一种新的６值逻辑系统Ｋ６＾１的语义理论，得到若干结果，特别是Ｋ６＾１中的准重言式恰与......

研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的补运算，而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４，得到若干结果。特别是，Ｋ＾２４中没有重言式，其准重言式......