当前位置:主页 > 社科论文 > 逻辑论文 >

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

发布时间:2018-04-12 21:03

  本文选题:修正的P-逻辑 + 广义矛盾式 ; 参考:《模糊系统与数学》2008年04期


【摘要】:讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法。
[Abstract]:This paper discusses the theory of generalized contradiction in modified Product logic system, proves the class difference theorem of generalized contradiction in this system, and gives a demotion algorithm between generalized contradictions in modified Product logic system.
【作者单位】: 延安大学数学与计算机科学学院;陕西师范大学数学研究所;
【基金】:国家自然科学基金重点资助项目(10331010)
【分类号】:O141.1

【相似文献】

相关期刊论文 前5条

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

2 吴洪博,文秋梅;Gainse-Rescher逻辑系统中的一种降级算法及其性质[J];数学研究;2002年01期

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

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

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



本文编号:1741420

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/1741420.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户43f97***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com