修正的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