手机知网 App
24小时专家级知识服务
打 开
数学
赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2
研究赋值格为非线性序,非运算 |不同于Boole 的补运算′,而蕴含算子→取KleeneDienes的RK 的一种新的四值逻辑系统K24,得到若干结果。特别是,K24中没有重言式,其准重言式恰与C2 中的重言式一致,即QT(K24)= T(C2)。
2 49
手机阅读本文
下载APP 手机查看本文
模糊系统与数学
1999年03期

搜 索