首页 | 本学科首页   官方微博 | 高级检索  
     

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:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号