摘要
与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助.
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. And its basic properties have been discussed. Moreover the generalized semantic MP rule and generalized semantic HS rule in generalized contradictions in Gdel logic system have been investigated. This work can be seen as a help for research on this system.
出处
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
2003年第6期997-1001,共5页
Journal of Sichuan University(Natural Science Edition)
