1) resolve contradiction
怪圈式矛盾
2) α contradiction
α-矛盾式
3) generalized contradiction
广义矛盾式
1.
By the study of the formal deductive system L~* for fuzzy propositional calculus and therevised Kleene logic system, a downgrade algorithm among generalized contradictions have been given,and its properties have been discussed.
通过对模糊命题演算的形式演绎系统L~*及修正的Kleene逻辑系统W,W,W_k的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具。
2.
As a counterpart of upgrade algorithm of generalized tautologies in Gdel logic system we give a kind of downgrade algorithm among generalized contradictions in this system.
与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助。
3.
We establish a downgrade algorithm among generalized contradictions in Gainse Rescher logic system r, G r, S n.
在Gainse Rescher逻辑系统 Gr,Gr,Sn 中的广义矛盾式之间建立了一种降级算法 ,并讨论了该降级算法的基本性质 。
4) generalized contradictory
广义矛盾式
1.
The generalized contradictory theory in subalgebras of revised Kleene system;
修正的Kleene系统中的子代数的广义矛盾式
2.
The Generalized Contradictory Theory in Revised Product Logical System;
修正的Product逻辑系统中的广义矛盾式
6) paradoxical equality
矛盾等价式
补充资料：怪圈
比喻难以摆脱的某种怪现象（多指恶性循环的）：有些地区总跳不出‘越穷越生孩子，越生孩子越穷’的～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条