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

发布时间：2017-08-09 10:27

  本文关键词：修正的RDP逻辑系统中的广义矛盾式

  更多相关文章： 修正的RDP逻辑系统 广义重言式 广义矛盾式 降级算法 分划

【摘要】：讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
【作者单位】： 延安大学数学与计算机科学学院;
【关键词】： 修正的RDP逻辑系统 广义重言式 广义矛盾式 降级算法 分划
【基金】：陕西省自然科学基金(No.2014JM1020) 陕西省科技计划社发攻关项目(No.2014ks15-03-07) 延安市科技计划项目(No.2013ks-03) 延安大学自然科学专项基金(No.YDQ2014-45)
【分类号】：O141.1
【正文快照】： 1引言广义重言式理论是逻辑学研究的一个重要方向。这一研究方向为揭示多值逻辑系统的层次结构,比较不同逻辑系统的优劣和运用这些系统进行推理提供了科学依据。王国俊教授于1998年在文献[1-3]中系统地建立了修正的Kleene系统和修正的Kleene系统中的广义重言式理论,得到了一系

【参考文献】

中国期刊全文数据库 前10条

1 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

2 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

3 李修清;;G銉del逻辑系统中1/2-子代数上的广义重言式理论[J];计算机工程与应用;2011年05期

4 李修清;魏海新;;R_G-代数的子代数与广义重言式理论[J];计算机工程与应用;2011年29期

5 于鸿丽;吴洪博;;逻辑系统RDP中子代数的广义重言式理论[J];计算机工程与应用;2011年32期

6 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

7 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

8 刘练珍,李开泰;修正的Product逻辑系统中的广义重言式理论[J];模糊系统与数学;2005年01期

9 李顺琴;王国俊;;修正的Product逻辑系统中的广义矛盾式[J];模糊系统与数学;2008年04期

10 黄阿敏;裴道武;;系统RDP中的广义重言式理论[J];模糊系统与数学;2010年04期

【共引文献】

中国期刊全文数据库 前10条

1 郑亚林;Fuzzy逻辑新进展[J];宝鸡文理学院学报(自然科学版);2000年01期

2 郑亚林,白永成,黄宏科,黄德隆;基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J];宝鸡文理学院学报(自然科学版);2000年02期

3 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

4 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

5 马巧云;吴洪博;赵艳;;逻辑系统鄘、W、W_n中的广义矛盾式及一种降级算法[J];纯粹数学与应用数学;2007年04期

6 马锐;梁林;吕映洁;;正交模格上的代数性质[J];楚雄师范学院学报;2009年09期

7 阚婷;张兴芳;王作真;;基于蕴涵算子族NM_p的α-三算法及约束度理论[J];燕山大学学报;2008年06期

8 李骏,韦奉岐,马盈仓;逻辑系统中重言式及广义重言式的关系[J];纺织高校基础科学学报;2001年01期

9 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

10 李顺琴;王国俊;;修正的Kleene系统中的子代数的广义矛盾式[J];纺织高校基础科学学报;2007年02期

中国重要会议论文全文数据库 前1条

1 陈图云;陈文丽;;修正的Atanassov逻辑及其广义重言式[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

中国博士学位论文全文数据库 前10条

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

3 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

4 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

10 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

中国硕士学位论文全文数据库 前10条

1 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

2 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

3 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

4 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

5 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

6 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

7 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

8 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年

9 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

10 韩莹;扰动模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

【二级参考文献】

中国期刊全文数据库 前10条

1 吴洪博,阎满富;G銉del逻辑系统中F(S)的一个分划及其应用[J];工程数学学报;2001年04期

2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

3 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

4 李顺琴;王国俊;;修正的G銉del逻辑系统中子代数的广义重言式理论[J];计算机工程与应用;2008年36期

5 魏海新;;修正的Kleene系统中子代数的广义重言式理论[J];计算机工程与应用;2009年22期

6 魏海新;;G銉del系统中一类子代数上的广义重言式理论[J];计算机工程与应用;2010年29期

7 李修清;;G銉del逻辑系统中1/2-子代数上的广义重言式理论[J];计算机工程与应用;2011年05期

8 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

9 吴望名;Fuzzy蕴涵代数[J];模糊系统与数学;1990年01期

10 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

【相似文献】

中国期刊全文数据库 前10条

1 李顺琴;王国俊;;修正的Kleene系统中的子代数的广义矛盾式[J];纺织高校基础科学学报;2007年02期

2 马巧云;吴洪博;赵艳;;逻辑系统鄘、W、W_n中的广义矛盾式及一种降级算法[J];纯粹数学与应用数学;2007年04期

3 阎满富,吴洪溥;修正的Kleene系统中的一种降级算法及其性质[J];工程数学学报;2004年04期

4 李顺琴;王国俊;;修正的Product逻辑系统中的广义矛盾式[J];模糊系统与数学;2008年04期

5 马巧云;吴洪博;;逻辑系统W,W,W_n中的广义矛盾式[J];西安文理学院学报(自然科学版);2006年03期

6 吴洪博;G銉del系统中一种降级算法及性质[J];四川大学学报(自然科学版);2003年06期

7 李修清;魏海新;;G銉del逻辑系统中标准子代数上的广义矛盾式[J];桂林航天工业高等专科学校学报;2010年03期

8 夏泽辉;;浅谈高等数学课堂问题的设计[J];价值工程;2011年12期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前1条

1 张帆;;“A且非A”辨析[A];1998年逻辑研究专辑[C];1998年

中国硕士学位论文全文数据库 前1条

1 张婧男;矛盾式定语的认知识解[D];天津师范大学;2014年

，

本文编号：644813