期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
修正的Kleene系统中的一种降级算法及其性质
1
作者 阎满富 吴洪溥 《工程数学学报》 CSCD 北大核心 2004年第4期537-542,共6页
通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正... 通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具. 展开更多
关键词 模糊逻辑 修正的Kleene系统 广义矛盾式 降级算法 广义语义C-MP规则 广义语义c-hs规则
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部