修正的RDP逻辑系统中的广义重言式理论

发布时间：2017-11-27 17:29

  本文关键词：修正的RDP逻辑系统中的广义重言式理论

  更多相关文章： 修正的RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 分划

【摘要】：提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。
【作者单位】： 延安大学数学与计算机科学学院;
【基金】：国家自然科学基金(11471007) 陕西省自然科学基金(2014JM1020) 陕西省科技计划社发攻关项目(2014ks15-03-07)
【分类号】：O141.1;O159
【正文快照】： 广义重言式理论是模糊逻辑研究的重要内容。自王国俊[1]1998年建立了修正的Kleene系统和修正的Kleene系统中的广义重言式理论后,其他多值逻辑系统中的广义重言式理论蓬勃发展。吴洪博在文献[2-3]中分别讨论了修正的G錸del逻辑系统和修正的Kleene系统中的广义重言式理论。近年

【参考文献】

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

1 吴洪博,阎满富;G銉del逻辑系统中广义语义HS规划和广义语义MP规则[J];工程数学学报;2003年03期

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

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

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

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

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

7 裴道武,李骏;积逻辑系统中的广义重言式(英文)[J];模糊系统与数学;2002年04期

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

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

10 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

【共引文献】

中国期刊全文数据库 前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];德州学院学报;2009年04期

9 李璧镜;王国俊;;正则蕴涵算子所对应的逻辑伪度量空间[J];电子学报;2010年03期

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

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

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

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

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

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

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

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

5 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

6 马盈仓;命题泛逻辑的演算理论及推理研究[D];西北工业大学;2006年

7 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

8 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

9 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

10 岳菊梅;面向后件集的模糊推理机制及在Type-1与Type-2模糊逻辑系统中的应用[D];南开大学;2013年

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

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

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

3 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

4 李莹芳;关于模糊推理中几类蕴涵算子的研究[D];西南交通大学;2011年

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

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

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

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

9 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[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 裴道武 ,王国俊;The completeness and applications of the formal system B[J];Science in China(Series F:Information Sciences);2002年01期

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

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

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

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

9 ;A formal deductive system for fuzzy propositional calculus[J];Chinese Science Bulletin;1997年18期

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

【相似文献】

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

1 王国俊,兰蓉;系统H_α中的广义重言式理论[J];陕西师范大学学报(自然科学版);2003年02期

2 马盈仓,何华灿,薛占熬;泛逻辑的中极形式系统中的广义重言式理论[J];计算机工程与应用;2004年35期

3 徐为民;;重言与哲学[J];自然辩证法研究;2010年03期

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

5 陈图云,李丽;模糊时序逻辑的语义及其广义重言式[J];辽宁师范大学学报(自然科学版);2004年02期

6 汪德刚;谷云东;李洪兴;;模糊模态命题逻辑及其广义重言式[J];电子学报;2007年02期

7 李晓冰;徐扬;;区间值模糊命题逻辑的∑-广义拟重言式[J];辽宁师范大学学报(自然科学版);2007年01期

8 辛晓东;非线性序逻辑系统鄘~2中的重言式[J];固原师专学报;2002年03期

9 陈图云,李晓冰;区间值模糊命题逻辑的广义拟重言式及其分类[J];辽宁师范大学学报(自然科学版);2004年03期

10 李顺琴;王国俊;;系统H_α中的子代数的广义重言式理论[J];计算机工程与应用;2010年08期

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

1 陈图云;吴凤干;汤服成;;直觉模糊命题逻辑的广义拟重言式及其分类[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

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

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

1 张凤霞;基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究[D];山东大学;2014年

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

1 汪德刚;模糊模态命题逻辑及其广义重言式[D];辽宁师范大学;2005年

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

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

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

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

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

7 冯琳;汉语重言式“X+（副词）+是+X”的构式语法研究[D];四川外语学院;2012年

8 徐荻;《诗经》重言研究[D];辽宁师范大学;2013年

，

本文编号：1232656