模糊逻辑~*和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 等数据库收录! |
|