修正的RDP逻辑系统中的广义矛盾式

详细信息    查看全文 | 推荐本文 |

英文篇名：Generalized contradictory theory in revised RDP logical system 作者：李顺琴 ; 惠小静 英文作者：LI Shunqin;HUI Xiaojing;College of Mathematics and Computer Science, Yan’an University; 关键词：修正的RDP逻辑系统 ; 广义重言式 ; 广义矛盾式 ; 降级算法 ; 分划 英文关键词：revised RDP logic system;;generalized tautology;;generalized contradiction;;downgrade algorithm;;partition 中文刊名：JSGG 英文刊名：Computer Engineering and Applications 机构：延安大学数学与计算机科学学院; 出版日期：2014-11-04 14:00 出版单位：计算机工程与应用 年：2015 期：v.51;No.834 基金：陕西省自然科学基金(No.2014JM1020);; 陕西省科技计划社发攻关项目(No.2014ks15-03-07);; 延安市科技计划项目(No.2013ks-03);; 延安大学自然科学专项基金(No.YDQ2014-45) 语种：中文; 页：JSGG201511012 页数：5 CN：11 ISSN：11-2127/TP 分类号：54-58

摘要

讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
        The theory of generalized contradictory is discussed and divided in revised RDP logical system. A downgrade algorithm among generalized contradictions in revised RDP logical system is introduced and its properties are discussed.

引文

[1]王国俊.修正的Kleene系统中Σ-(α-重言式)理论[J].中国科学:E辑,1998,28(2):146-152.
    [2]王国俊.非经典数理逻辑与近似推理[M].北京:科学出版社,2000.
    [3]Wang G J.On the logic foundation of fuzzy reasoning[J].Information Science,1999,177:47-88.
    [4]吴洪博.Gdel逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(4):53-59.
    [5]吴洪博.Gdel系统中一种降级算法及性质[J].四川大学学报:自然科学版,2003,40(6):997-1001.
    [6]吴洪博.修正的Kleene系统中的广义重言式理论[J].中国科学:E辑,2002,32(2):224-229.
    [7]吴洪博.Lukasiewicz逻辑系统中的广义重言式理论[J].西南交通大学学报,2000,35(5):559-563.
    [8]杨晓斌,张文修.Lukasiewicz多值逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(1):8-12.
    [9]裴道武.Generalized tautologies in product logical system[J].模糊系统与数学,2002,16(4):19-27.
    [10]黄阿敏,裴道武.系统RDP中的广义重言式理论[J].模糊系统与数学,2010,24(4):6-11.
    [11]刘练珍,李开泰.修正的Product逻辑中的广义重言式理论[J].模糊系统与数学,2005,19(1):12-17.
    [12]李顺琴,王国俊.修正的Product逻辑系统中的广义矛盾式[J].模糊系统与数学,2008,22(4):21-26.
    [13]于鸿丽,吴洪博.逻辑系统RDP中子代数的广义重言式理论[J].计算机工程与应用,2011,47(32):47-48.
    [14]李修清,魏海新.RG代数的子代数与广义重言式理论[J].计算机工程与应用,2011,47(29):47-51.
    [15]李修清.Gdel逻辑系统中1/2-子代数上的广义重言式理论[J].计算机工程与应用,2011,47(5):43-45.