Α-重言式

作品数：11被引量：157H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈图云王国俊郑亚林杨晓斌张文修更多>>
相关机构：陕西师范大学西安交通大学辽宁师范大学上海财经大学更多>>
相关期刊：《宝鸡文理学院学报（自然科学版）》《工程数学学报》《辽宁师范大学学报（自然科学版）》《金陵科技学院学报》更多>>
相关基金：国家自然科学基金陕西省教育厅科研计划项目辽宁省教育厅高等学校科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多值逻辑系统H_α中的重言式分类定理被引量：1
《西安文理学院学报（自然科学版）》2008年第3期36-39,共4页于鸿丽 
西安文理学院专项科研基金(KY200650)
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础.
关键词：系统Hα 重言式 Α-重言式 子代数 
直觉模糊命题逻辑公式的概率真度被引量：1
《辽宁师范大学学报（自然科学版）》2006年第4期388-389,共2页陈图云 李慧玲 
定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则,最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果.
关键词：模糊逻辑 直觉模糊命题逻辑 Α-重言式 
直觉模糊命题逻辑公式的真度
《金陵科技学院学报》2006年第4期12-15,共4页吴凤干 
辽宁省教育厅科学研究计划资助项目(2004C068)
利用概率测度来定义直觉模糊命题逻辑公式A的α-真度,研究α-真度与α-重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。
关键词：直觉模糊命题逻辑 α-真度 Α-重言式 
赋值格为险象识别格的一种非经典逻辑系统K~#(Ⅱ)(英文)
《汉中师范学院学报》2004年第6期1-10,共10页白永成 郑亚林 
ResearchsuppoutedbytheSpecialPlanofShaanxiProvincialEducationDepartment( 0 3JK0 71 )andtheScienceFoundationofShaanxiUniversityofTeachnology .
研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) ...
关键词：FUZZY逻辑 Kleene-Dienes蕴涵算子 Wang Guojun蕴涵算子 准重言式 Α-重言式 α-modus ponens 险象识别格 险象识别逻辑系统 
模糊模态命题逻辑的语义被引量：4
《辽宁师范大学学报（自然科学版）》2003年第4期341-343,共3页陈图云 汪德刚 
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α—重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.
关键词：模糊逻辑 克里普克语义 模糊模态逻辑 Α-重言式 
赋值为R_0-模糊集的逻辑系统被引量：1
《工程数学学报》2001年第1期78-82,共5页王向云 
研究了赋值为 R0 -模糊集逻辑系统 W X 的语义理论 ,得到了若干结果 ,特别是对 W X 而言 ,F(S)中的α-重言式类只有 1 / 2
关键词：模糊逻辑 R0-代数 R0方体 Α-重言式 α-MR α-HS R0-模糊集 
适用于多种蕴涵算子的赋值空间上的测度与积分理论被引量：9
《中国科学（E辑）》2001年第1期42-50,共9页王国俊 
国家自然科学基金重点项目!(批准号 :198310 40 )
对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑...
关键词：蕴涵算子 赋值空间 LEBESGUE测度 积分 通用逻辑度量空间 近似推理 t-(α-重言式) 模糊推理 
Fuzzy逻辑新进展
《宝鸡文理学院学报（自然科学版）》2000年第1期12-15,26,共5页郑亚林 
陕西省科委自然科学研究计划项目!( 98-SL0 8)
介绍了最新发展起来的一种Fuzzy命题逻辑。
关键词：FUZZY控制 Fuzzy推理 FUZZY逻辑 Α-重言式 
Lukasiewicz多值逻辑系统中的广义重言式理论被引量：26
《模糊系统与数学》2000年第1期8-12,共5页杨晓斌 张文修 
引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统...
关键词：Lukasiewicz多值逻辑系统 Α-重言式 广义重言式 
赋值格为菱形格的4值逻辑系统GR_4~1
《陕西理工学院学报（社会科学版）》1998年第6期6-8,共3页郑亚林 白永成 王刚 
陕西省教委专项科研基金!96JK064
研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR14重言式必是GR14-准重言式，GR14-准重言式必是C2-重言式，即一个公式是GR14中...
关键词：FUZZY逻辑 Gaines-Rescher蕴涵算子 Α-重言式 α-MP规则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部