赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2-模糊系统与数学1999年03期-手机知网

赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2

研究赋值格为非线性序，非运算　｜不同于Ｂｏｏｌｅ的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２中的重言式一致，即ＱＴ（Ｋ２４）＝Ｔ（Ｃ２）。

机　构:

领　域:

数学；逻辑学；

关键词:

Fuzzy逻辑； KleeneDienes蕴含算子； α-重言式；准重言式；

格　式:

PDF原版；EPUB自适应版(需下载客户端)