广义奇-超位Ⅱ 相关硕士博士期刊学术论文

证明了使用奇-超位Ⅱ的证明系统是不完备的,造成这种不完备性的原因是忽略了幂等规则的作用.通过定义一阶多项式与零的超位,适当地......