广义重言式

作品数：58被引量：245H指数：11
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈图云吴洪博李顺琴王国俊惠小静更多>>
相关机构：辽宁师范大学陕西师范大学延安大学桂林航天工业高等专科学校更多>>
相关期刊：《河南师范大学学报（自然科学版）》《渭南师范学院学报》《云南师范大学学报（自然科学版）》《中国学术期刊文摘》更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=工程数学学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Gdel逻辑系统中广义语义HS规划和广义语义MP规则被引量：8
《工程数学学报》2003年第3期56-62,共7页吴洪博 阎满富 
将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的...
关键词：模糊逻辑 Goedel逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 
扰动模糊逻辑I^2的最大子代数及其广义重言式被引量：9
《工程数学学报》2003年第2期118-120,91,共4页陈图云 韩莹 廖士中 
国家自然科学基金资助项目(69973019).
运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统 W中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。
关键词：模糊逻辑 扰动模糊逻辑 逻辑代数 广义重言式 
Gdel逻辑系统中F(S)的一个分划及其应用被引量：17
《工程数学学报》2001年第4期61-68,共8页吴洪博 阎满富 
将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ...
关键词：模糊逻辑 语义 广义重言式 广义矛盾式 升级算法 分划 降级算法 Goedel逻辑系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部