论文研究 修正的RDP逻辑系统中的广义矛盾式.pdf
讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
下载地址
用户评论
