| 赋值格为菱形格的4值逻辑系统GR_4~1 |
| |
| 引用本文： | 郑亚林,白永成,王刚.赋值格为菱形格的4值逻辑系统GR_4~1[J].陕西理工学院学报(社会科学版),1998(6). |
| |
| 作者姓名： | 郑亚林 白永成 王刚 |
| |
| 作者单位： | 西安交通大学理学院信息与系统科学研究所!陕西西安，710049，汉中师院数学系，汉中市邮电局!陕西汉中，723000 |
| |
| 基金项目： | 陕西省教委专项科研基金!96JK064 |
| |
| 摘 要： | 研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR14重言式必是GR14-准重言式，GR14-准重言式必是C2-重言式，即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式，即．
|
| 关 键 词： | Fuzzy逻辑 Gaines-Rescher蕴涵算子 α-重言式 α-MP规则 |
A 4-value Logic System Associoted with a Rhombus Evaluation Lattice |
| |
| Zheng Yalin, Bai Yongcheng, Wang Gang.A 4-value Logic System Associoted with a Rhombus Evaluation Lattice[J].Journal of Shaanxi University of Technology:Social Sciences,1998(6). |
| |
| Authors: | Zheng Yalin Bai Yongcheng Wang Gang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
