重言式

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=模糊系统与数学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
逻辑系统RDP中广义重言式的语义MP、HS规则
《模糊系统与数学》2014年第4期1-5,共5页惠小静 郝国平 
国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);陕西省高水平大学建设专项资金资助项目(2012SXTS07);延安大学博士基金资助项目(YDBK2013-12);延安市专项基金资助项目(2013-KG16)
将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP...
关键词：RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 
修正的Gdel逻辑系统中三类无限子代数及其F(S)的分划被引量：2
《模糊系统与数学》2010年第6期42-47,共6页李修清 林亮 
国家自然科学基金资助项目(10661006);广西区教育厅科研基金资助项目(桂教科研[2006]26号)
将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在■的三类子代数中分别给出F(S)关于同余的一个分划。
关键词：Godel逻辑系统 广义重言式 子代数 分划 
系统RDP中的广义重言式理论被引量：10
《模糊系统与数学》2010年第4期6-11,共6页黄阿敏 裴道武 
国家自然科学基金资助项目(10871229)
研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法...
关键词：参数RDP系统 广义重言式 重言式 升级算法 
扰动模糊命题逻辑系统中的广义重言式被引量：2
《模糊系统与数学》2005年第4期86-89,共4页陈图云 孟艳平 吴凤干 
国家自然科学基金资助项目(69973019);辽宁省教育厅科学研究计划资助项目(2004C068)
通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统W-中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统D-中,证明了这一系统中(μ,δ)-重言式就是某个(,λ1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类。
关键词：模糊逻辑 命题逻辑 广义重言式 
Kleene蕴涵算子的导出算子的n值逻辑系统I_n
《模糊系统与数学》2005年第1期18-21,共4页程贞敏 尤飞 李洪兴 
国家自然科学基金资助项目 (6 0 4 74 0 2 3) ;教育部博士点基金资助项目 (2 0 0 2 0 0 2 70 13) ;教育部科学技术重点资助项目 (0 3184 ) ;973国家重点基础研究发展规划基金资助项目 (2 0 0 2 CB312 2 0 0 )
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,考虑...
关键词：Kleene蕴涵算子 Kleene蕴涵算子的导出算子 n值逻辑系统In 准重言式 重言式 
修正的Product逻辑系统中的广义重言式理论被引量：10
《模糊系统与数学》2005年第1期12-17,共6页刘练珍 李开泰 
首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数α∈[0 ,1],可达α-重言式集是类类非空的。
关键词：修正的P-逻辑 广义重言式 
直觉模糊命题逻辑的广义拟重言式及其分类被引量：2
《模糊系统与数学》2004年第z1期288-291,共4页陈图云 吴凤干 汤服成 
国家自然科学基金资助项目(69973019)
通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I20, ,V,→T),讨论了系统I20上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.
关键词：模糊逻辑 直觉模糊命题逻辑 广义重言式 广义拟重言式 
区间值模糊命题逻辑的最大子代数及其广义重言式被引量：8
《模糊系统与数学》2003年第2期106-108,共3页陈图云 张宇卓 廖士中 
国家自然科学基金资助项目 (6 99730 19)
将 S-型蕴涵算子改为 R0 -蕴涵算子 ,从而找到区间值模糊逻辑 I[0 ,1]的一个最大子代数 IQ,进而将王国俊教授在逻辑系统 W中的广义重言式理论推广应用到 IQ 中。
关键词：区间值逻辑代数 模糊命题逻辑 最大子代数 广义重言式 蕴涵算子 
积逻辑系统中的广义重言式(英文)被引量：12
《模糊系统与数学》2002年第4期19-27,共9页裴道武 李骏 
讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。
关键词：模糊逻辑 积逻辑系统 广义重言式 传递性 
Gdel逻辑系统中的广义重言式理论被引量：52
《模糊系统与数学》2000年第4期53-59,共7页吴洪博 
本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进...
关键词：命题演算 α-矛盾式 Goeddl逻辑系统 广义重言式 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部