修正的P-逻辑相关论文
首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任......
讨论了修正的Product逻辑系统中的广义矛盾式理论，证明了该系统中广义矛盾式的类类互异定理，并给出了修正的Product逻辑系统中的广义......
