《中国科学E辑》1998年02期 加入收藏    获取最新    修正的Kleene系统中的Σ-(α-重言式)理论   王国俊   　　证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 . 【作者单位】：陕西师范大学数学研究所!西安710062 【关键词】：修正的Kleene系统;Σ-(α-重言式);可达α-重言式;类类互异定理;重言式表示定理 【基金】：国家自然科学基金资助项目 !(批准号 :193310 30 ) 【分类号】：O159 【DOI】：cnki:SCN:11-3757.0.1998-02-007 【正文快照】： 　　从70年代以来,模糊推理与模糊逻辑的研究已有丰硕的成果[1～6].只是在如何为模糊推理提供逻辑依据方面似乎尚未找到恰当的结合点.为适应模糊推理严密化的需要,文献[7]中引入了一种形式系统Ｌ,针对这种系统修正了Ｋｌｅｅｎｅ的蕴涵算子,引入了新的蕴涵算子Ｒ0,关于这种修正的Ｋｌｅｅｎｅ系统而言,证明了Ｌ中的定理都是重言式.文献[8,9]证明了在为模糊推理奠定逻辑基础方面Ｒ0是比Ｋｌｅｅｎｅ蕴涵算子ＲＫ,Ｌｕｋａｓｉｅｗｉｃｚ蕴涵算子ＲＬ,Ｇｄｅｌ蕴涵算子ＲＧ、标准序列蕴涵算子(即ＧａｉｎｅｓＲｅｓｃｈｅｒ蕴涵算子)ＲＧＲ以及Ｚ…   推荐 CAJ下载           PDF下载   CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式   【参考文献】   共（3）篇    中国期刊全文数据库 找到 2 条   1 王国俊; 模糊命题演算的一种形式演绎系统 [J];科学通报; 1997年10期 2 王国俊; 一类代数上的逻辑学(Ⅱ) [J];陕西师范大学学报(自然科学版); 1997年03期  西文参考文献 找到 1 条   1 Dubois D, Lang J, Prade H; Fuzzy set in approximate reasoning [M];Fuzzy Sets and Systems; 1991年   【引证文献】   共（86）篇    中国期刊全文数据库 找到 10 条   1 张兴芳,孟广武,赵峰,张安英; {I_m}(α-逻辑有效公式)的理论及其应用 [J];工程数学学报; 2007年01期 2 王向云; 赋值为R_0-模糊集的逻辑系统 [J];工程数学学报; 2001年01期 3 阎满富,吴洪溥; 修正的Kleene系统中的一种降级算法及其性质 [J];工程数学学报; 2004年04期 4 吴洪博,阎满富; Gdel逻辑系统中F(S)的一个分划及其应用 [J];工程数学学报; 2001年04期 5 吴洪博; L~*系统的一种改进系统L_0~* [J];纯粹数学与应用数学; 2001年01期 6 吴洪博,阎满富; Gdel逻辑系统中广义语义HS规划和广义语义MP规则 [J];工程数学学报; 2003年03期 7 裴道武; 关于形式系统L~*的强完备性 [J];工程数学学报; 2005年01期 8 辛晓东; 非线性序逻辑系统~2中的重言式 [J];固原师专学报; 2002年03期 9 李顺琴,王国俊; 修正的Kleene系统中的子代数的广义矛盾式 [J];纺织高校基础科学学报; 2007年02期 10 李骏,韦奉岐,马盈仓; 逻辑系统中重言式及广义重言式的关系 [J];纺织高校基础科学学报; 2001年01期  中国优秀硕士学位论文全文数据库 找到 8 条   1 孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 2 常瑶芝; L～*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年 3 兰蓉; t-模与蕴涵算子的同构及广义重言式理论 [D];陕西师范大学; 2003年 4 王龙春; L～*系统中的一类广义重言式与L～*系统的一种扩张 [D];陕西师范大学; 2003年 5 张花荣; 代数系统的可嵌入性 [D];陕西师范大学; 2003年 6 宋庆燕; 命题逻辑公式集上的正则相似关系和一种新型的三I算法 [D];陕西师范大学; 2003年 7 李璧镜; Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间 [D];陕西师范大学; 2006年 8 马丽娜; 剩余格中的几类Fuzzy滤子和Fuzzy同余关系 [D];陕西师范大学; 2006年  中国博士学位论文全文数据库 找到 2 条   1 马盈仓; 命题泛逻辑的演算理论及推理研究 [D];西北工业大学; 2006年 2 李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年   【共引文献】   共（145）篇    中国期刊全文数据库 找到 10 条   1 裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J];东北师大学报(自然科学版); 2003年01期 2 邓安生,孙铁利; 形式布尔算子的命题逻辑 [J];东北师大学报(自然科学版); 2000年03期 3 张家录; 形式演绎系统L~*的运算与弱演绎定理 [J];湘南学院学报; 2004年02期 4 张兴芳,孟广武,赵峰,张安英; {I_m}(α-逻辑有效公式)的理论及其应用 [J];工程数学学报; 2007年01期 5 吴洪博,阎满富; Gdel逻辑系统中F(S)的一个分划及其应用 [J];工程数学学报; 2001年04期 6 辛晓东,徐维军; 若干重要逻辑蕴涵算子的性质与比较 [J];固原师专学报; 2001年03期 7 吴恒洋,韩诚; 非全序R_0代数的结构 [J];纯粹数学与应用数学; 2004年01期 8 吴洪博; L~*系统的一种改进系统L_0~* [J];纯粹数学与应用数学; 2001年01期 9 吴洪博,阎满富; Gdel逻辑系统中广义语义HS规划和广义语义MP规则 [J];工程数学学报; 2003年03期 10 程国胜,叶微; R_0代数的注记 [J];工程数学学报; 2003年06期  中国优秀硕士学位论文全文数据库 找到 10 条   1 吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 2 焦烨; 模糊矩阵幂序列的收敛性 [D];陕西师范大学; 2004年 3 常瑶芝; L～*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年 4 龙希庆; 格蕴涵代数中a-化子和不等式的研究 [D];西南交通大学; 2007年 5 刘东利; 效应代数中的模糊滤子及其与两种模糊代数系统之间的关系 [D];陕西师范大学; 2006年 6 赵晓燕; 模糊近似空间上模糊集的粗糙集及其粗糙度 [D];昆明理工大学; 2003年 7 张东晓; 逻辑公式的语构真度和构造性三I算法 [D];陕西师范大学; 2006年 8 王龙春; L～*系统中的一类广义重言式与L～*系统的一种扩张 [D];陕西师范大学; 2003年 9 张花荣; 代数系统的可嵌入性 [D];陕西师范大学; 2003年 10 宋庆燕; 命题逻辑公式集上的正则相似关系和一种新型的三I算法 [D];陕西师范大学; 2003年  中国博士学位论文全文数据库 找到 10 条   1 王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年 2 姜保庆; 关于弱比例规则的挖掘及推理研究 [D];西南交通大学; 2005年 3 李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年 4 薛占熬; 柔性区间逻辑及推理研究 [D];西北工业大学; 2006年 5 马盈仓; 命题泛逻辑的演算理论及推理研究 [D];西北工业大学; 2006年 6 陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年 7 马骏; 基于格蕴涵代数的格值逻辑系统及其自动推理的研究 [D];西南交通大学; 2002年 8 周平; 基于格蕴涵代数的格值逻辑中的近似推理研究 [D];西南交通大学; 2007年 9 李海明; 关于格值逻辑及自动推理的研究 [D];西南交通大学; 2003年 10 李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年  中国重要会议论文全文数据库 找到 1 条   1 裴道武; R_0代数中的MP滤子与同余关系 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年   【同被引文献】   共（368）篇    中国期刊全文数据库 找到 10 条   1 曹永林; 偏序半群的最大自然序半格同态象 [J];纯粹数学与应用数学; 1998年03期 2 裴道武; Kleene逻辑函数的特征与极小化 [J];工程数学学报; 2000年04期 3 郑亚林,张文修; 赋值格为非线性序的一种6值逻辑系统K_6~1 [J];工程数学学报; 1999年02期 4 陈图云,韩莹,廖士中; 扰动模糊逻辑I~2的最大子代数及其广义重言式 [J];工程数学学报; 2003年02期 5 马盈仓,李骏; FMP和FMT的三I解及其性质 [J];纺织高校基础科学学报; 2005年02期 6 张花荣,李骏,谢强军; MTL代数的性质及其滤子 [J];兰州理工大学学报; 2005年05期 7 任芳; R_0-代数上的同余关系 [J];工程数学学报; 2001年01期 8 王向云; 赋值为R_0-模糊集的逻辑系统 [J];工程数学学报; 2001年01期 9 吴洪博,阎满富; Gdel逻辑系统中F(S)的一个分划及其应用 [J];工程数学学报; 2001年04期 10 辛晓东,徐维军; 若干重要逻辑蕴涵算子的性质与比较 [J];固原师专学报; 2001年03期  中国博士学位论文全文数据库 找到 1 条   1 樊磊; Domain理论中若干问题的研究 [D];首都师范大学; 2001年  中国重要会议论文全文数据库 找到 3 条   1 刘心,陈图云; 扰动模糊逻辑及其“非”算子 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年 2 李志伟,李桂华; Fuzzy蕴涵代数的若干性质 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年 3 裴道武; R_0代数中的MP滤子与同余关系 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年  西文参考文献 找到 10 条   1 Hajek P; Metamathematics of Fuzzy Logic[M] [M];; 1998年 2 Hajek P; A note on the notion of truth in fuzzy logic[J] [M];Annals of and Applied Logic; 2001年 3 Hajek P; Metamathematics of Fuzzy Logic [M];; 1998年 4 Novak V, Perfilicva I, Mockor J; Mathematical Principles of Fuzzy Logic [M];; 1999年 5 Ying M S; Implication operators in Fuzzy logic [M];IEEE Teans, Fuzzy Syst; 2002年 6 Wu Hongbo; Theory of generalized tautology in revised Kleene system [M];Science in China; 2001年 7 Esteva F, Godo L; Monodial t-norm based logic: towards a logic for left-contious t-norms [M];Fuzzy Sets and Systems; 2001年 8 Zhou H J, Wang G J; A new theory consistency index based on deduction theorems in several logic systems [M];Fuzzy Sets and Systems; 2006年 9 J. Kalman; Lattices with involution [M];Trans. Amer. Math. Soc; 1958年 10 Wang Guojun; Formalized theory of general fuzzy reasoning [M];Information Sciences; 2004年   【二级参考文献】   共（4）篇    中国期刊全文数据库 找到 4 条   1 吴望名; 关于模糊逻辑的—场争论 [J];模糊系统与数学; 1995年02期 2 王国俊; 模糊命题演算的一种形式演绎系统 [J];科学通报; 1997年10期 3 王国俊; 一类代数上的逻辑学(Ⅰ) [J];陕西师范大学学报(自然科学版); 1997年01期 4 国际学术动态 [J];压电与声光; 1979年03期   【二级引证文献】   共（376）篇    中国期刊全文数据库 找到 10 条   1 裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J];东北师大学报(自然科学版); 2003年01期 2 张红杰,吴洪博; BR_0代数中的滤子与理想 [J];安康学院学报; 2007年01期 3 张家录; 形式演绎系统L~*的运算与弱演绎定理 [J];湘南学院学报; 2004年02期 4 马盈仓,李骏; FMP和FMT的三I解及其性质 [J];纺织高校基础科学学报; 2005年02期 5 李丽; 一种新的区间值模糊集推理方法 [J];大连交通大学学报; 2007年02期 6 李绍稳,熊范纶,李瑶,朱立武; 特征展开三I Fuzzy推理模型及其在专家系统中的应用 [J];高技术通讯; 2002年01期 7 马晓珏; 弱MV-代数与IMTL代数的关系及IMTL公理系统的简化 [J];宝鸡文理学院学报(自然科学版); 2004年01期 8 张花荣,李骏,谢强军; MTL代数的性质及其滤子 [J];兰州理工大学学报; 2005年05期 9 王向云; 赋值为R_0-模糊集的逻辑系统 [J];工程数学学报; 2001年01期 10 阎满富,吴洪溥; 修正的Kleene系统中的一种降级算法及其性质 [J];工程数学学报; 2004年04期  中国优秀硕士学位论文全文数据库 找到 10 条   1 孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 2 李丽; 模糊时序命题逻辑系统的语义 [D];辽宁师范大学; 2005年 3 汪德刚; 模糊模态命题逻辑及其广义重言式 [D];辽宁师范大学; 2005年 4 吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 5 陈文丽; 修正的Atanassov命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年 6 张宇卓; 区间值模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年 7 韩莹; 扰动模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年 8 王向云; 区间值模糊推理的三Ⅰ算法 [D];陕西师范大学; 2001年 9 杨晓炜; 基于拓扑变换的模糊推理研究 [D];西南交通大学; 2003年 10 常瑶芝; L～*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年  中国博士学位论文全文数据库 找到 10 条   1 覃锋; 模糊逻辑中若干问题的研究 [D];四川大学; 2004年 2 王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年 3 周斌; 焦化炉对环境污染的优化控制研究 [D];吉林大学; 2006年 4 姜保庆; 关于弱比例规则的挖掘及推理研究 [D];西南交通大学; 2005年 5 李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年 6 薛占熬; 柔性区间逻辑及推理研究 [D];西北工业大学; 2006年 7 马盈仓; 命题泛逻辑的演算理论及推理研究 [D];西北工业大学; 2006年 8 陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年 9 蓝敏; 建设项目的自组织智能管理模式研究 [D];西南交通大学; 2006年 10 赵光峰; 格蕴涵代数与图的升分解问题的研究 [D];西南交通大学; 2002年  中国重要会议论文全文数据库 找到 10 条   1 徐章艳,汤服成,李凡; 基于经典逻辑系统的模糊推理方法 [A];第12届全国模糊系统与模糊数学学术年会论文集 [C]; 2004年 2 裴道武; R_0代数中的MP滤子与同余关系 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年 3 王国俊; Fuzzy逻辑与有序代数 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年 4 陈图云,陈文丽; 修正的Atanassov逻辑及其广义重言式 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年 5 霍书全,鞠实儿; SLO的代数结构 [A];开放类逻辑论文集 [C]; 2004年 6 袁红春,陈明,池涛; 鱼病远程诊断模糊专家系统 [A];2007年中国智能自动化会议论文集 [C]; 2007年 7 王廷明,吴伟民; 基于主范式的二值命题逻辑公式的真度 [A];第一届中国智能计算大会论文集 [C]; 2007年 8 闫建平; 模糊推理插值器 [A];第12届全国模糊系统与模糊数学学术年会论文集 [C]; 2004年 9 黄丽,李中夫; 基于三/算法的多规则模糊推理 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年 10 孟丹,陈图云; 模糊推理的三Ⅰ原则贴近算法 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年   【读者推荐文章】   共（10）篇     1 王国俊; 关于模糊推理的若干基本问题[J]; 工程数学学报; 2000年S1期; 13-17+62 2 王国俊; 模糊推理与模糊逻辑[J]; 系统工程学报; 1998年02期; 3-18 3 王国俊; 模糊推理的全蕴涵三I算法[J]; 中国科学E辑; 1999年01期; 44-54 4 王国俊; 三I方法与区间值模糊推理[J]; 中国科学E辑; 2000年04期; 43-52 5 王国俊; 模糊命题演算的一种形式演绎系统[J]; 科学通报; 1997年10期; 35-39 6 王国俊; 蕴涵格与Stone表现定理的推广[J]; 科学通报; 1998年11期; 26-29 7 王国俊; 模糊推理的一个新方法[J]; 模糊系统与数学; 1999年03期; 3-12 8 王国俊; 蕴涵格及其Fuzzy拓扑表现定理[J]; 数学学报; 1999年01期; 133-140 9 王国俊,王伟; 逻辑度量空间[J]; 数学学报; 2001年01期; 159-168 10 王国俊; 三角型模糊数空间的均匀性[J]; 纯粹数学与应用数学; 1997年02期; 1-5+11   【相似文献】    中国期刊全文数据库   1 王国俊; 修正的Kleene系统中的Σ-(α-重言式)理论 [J];中国科学E辑; 1998年02期; 51-57 2 韩莹,陈森发; 有限扰动模糊命题逻辑系统的Σ-广义矛盾式 [J];东南大学学报(自然科学版); 2005年05期; 170-174 3 杨晓斌,薛贤铭; 连续值逻辑系统中的代换定理 [J];山东理工大学学报(自然科学版); 2003年01期; 78-82

相关期刊  >  Acta Mechanica Solida Sinica  >  包装工程  >  材料导报  >  低温工程  >  粉末冶金材料科学与工程  >  粉末冶金工业  >  粉末冶金技术  >  复合材料学报  >  Journal of Bionics Engineering  >  冷藏技术  >  膜科学与技术  >  遥感技术与应用  >  液压气动与密封  >  液压与气动  >  照相机  >  真空与低温  >  制冷技术  >  制冷  >  制冷学报  >  制冷与空调  相关机构  > 陕西师范大学数学研究所  > 东南大学系统工程研究所  > 南京  > 上海财经大学应用数学系  > 山东省水利技术学院  > 山东淄博  相关作者  > 王国俊  > 陈森发  > 薛贤铭  > 韩莹  > 杨晓斌