| 赋值格为非线性序的Kleene-Dienes四值逻辑系统K24 |
| |
| 引用本文： | 郑亚林,张文修.赋值格为非线性序的Kleene-Dienes四值逻辑系统K24[J].模糊系统与数学,1999,13(3):52-56. |
| |
| 作者姓名： | 郑亚林 张文修 |
| |
| 作者单位： | 西安交通大学,理学院,信息科学与系统科学研究所,陕西,西安,710049 |
| |
| 基金项目： | 陕西省科技厅资助项目，98-SL08， |
| |
| 摘 要： | 研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的补运算，而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４，得到若干结果。特别是，Ｋ＾２４中没有重言式，其准重言式恰与Ｃ２中的重言式一致，即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。
|
| 关 键 词： | Fuzzy逻辑 Kleene-Dienes蕴含算子 α-重言式 准重言式 |
| 文章编号： | 1001-7402(1999)03-0052-05 |
| 修稿时间： | :1998-03-1 |
A King of New Kleene-Dienes 4-value Logic System K24 Associated with a Nonlinear Ordering Evaluation Lattice |
| |
| ZHENG Ya-lin,ZHANG Wen-xiu.A King of New Kleene-Dienes 4-value Logic System K24 Associated with a Nonlinear Ordering Evaluation Lattice[J].Fuzzy Systems and Mathematics,1999,13(3):52-56. |
| |
| Authors: | ZHENG Ya-lin ZHANG Wen-xiu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
