论文研究修正的G?del系统的子代数中F(S)的分划及升级算法.pdf
将修正的G?del逻辑系统中广义矛盾式理论推广，讨论了修正的G?del逻辑系统中一类子代数上的广义矛盾式理论，进而在相应的子代数上给出了公式集[F(S)]的一种分划。
下载地址
用户评论
