健全逻辑系统相关硕士博士期刊学术论文

当广义相关系数在0 ～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统；当广义相关系数在0.5 ～0.75时,构建了基于零级运算......