|
|||||
|
|
| 模糊逻辑~*和NM的公理系统的简化 | |
| 引用本文： | 王三民,伍军云.模糊逻辑~*和NM的公理系统的简化[J].模糊系统与数学,2006(2). |
| 作者姓名： | 王三民 伍军云 |
| 作者单位： | 南昌大学计算机系 南昌江西330029 |
| 摘 要： | 从王国俊教授提出的模糊命题演算形式系统*、0*的性质以及它们与F.E steva和L.G odo提出的M TL、IM TL和NM的关系出发,借助代数方法证明了*和NM中的公理(L1*0)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式((L*W)代替。这一结果简化了*和NM的公理系统。 |
| 关 键 词： | 模糊逻辑 *系统 NM系统 *W系统 |
| 本文献已被 CNKI 等数据库收录！ | |