Goedel逻辑系统相关论文
与Goedel系统中广义重言式之间的一种升级算法相对应,作者给出了Goede1系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论......
将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Goedel逻辑系......
将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于Goedel逻辑系统中,讨论了Goedel逻辑系统中广义重言式理论的语义([α......