摘要
讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法。
This paper concerns the theory of generalized contradictory in revised P--logic. It is proved that the class of generalized contradictory is difference each other on revised PAogic. Moreover, a downgrade algorithm of generalized contradictory in revised P-logic is introduced.
出处
《模糊系统与数学》
CSCD
北大核心
2008年第4期21-26,共6页
Fuzzy Systems and Mathematics
基金
国家自然科学基金重点资助项目(10331010)
关键词
修正的P-逻辑
广义矛盾式
降级算法
类类互异定理
Revised P-logic, Generalized Contradietory, Downgrade Algorithm, Theory of Difference of Classes
