|
|||||
|
|
| Gdel系统中一种降级算法及性质 | |
| 作者姓名： | 吴洪博 |
| 作者单位： | 陕西师范大学数学研究所 西安710062 |
| 摘 要： | 与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助. |
| 关 键 词： | 模糊逻辑 Gdel逻辑系统 广义矛盾式 降级算法 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |