重言式

作品数：180被引量：439H指数：12
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：陈图云吴洪博王国俊李顺琴于鸿丽更多>>
相关机构：陕西师范大学辽宁师范大学延安大学西安文理学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=工程数学学报x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
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逻辑系统 
赋值为R_0-模糊集的逻辑系统被引量：1
《工程数学学报》2001年第1期78-82,共5页王向云 
研究了赋值为 R0 -模糊集逻辑系统 W X 的语义理论 ,得到了若干结果 ,特别是对 W X 而言 ,F(S)中的α-重言式类只有 1 / 2
关键词：模糊逻辑 R0-代数 R0方体 Α-重言式 α-MR α-HS R0-模糊集 
非线性格值逻辑系统_6被引量：2
《工程数学学报》2000年第B05期100-102,共3页辛晓东 
研究赋值格为非线性序格 ,非运算不同于 Boole的补运算 ,蕴涵算子取 R。的一种新的 6值逻辑系统W6 。讨论了其语义 MP规则 ,语义 H S规则 ;重言式 ,∑ - (d-重言式 ) 。
关键词：重言式 非线性格值逻辑系统 6值逻辑 模糊逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部