|
|||||
|
|
| G(o)del系统中一种降级算法及性质 | |
| 引用本文： | 吴洪博.G(o)del系统中一种降级算法及性质[J].四川大学学报(自然科学版),2003,40(6). |
| 作者姓名： | 吴洪博 |
| 作者单位： | 陕西师范大学数学研究所,西安,710062 |
| 摘 要： | 与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助. |
| 关 键 词： | 模糊逻辑 G(o)del逻辑系统 广义矛盾式 降级算法 |
A Kind of Downgrade Algorithm and its Properties in G(o)del Logic System |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |