K=公式集相关硕士博士期刊学术论文

利用R0-蕴涵算子对命题公式集F（S）进行分类，得出了F（S）的一个16类分划，并证明了这种分类关于非运算是同余分类．最后讨论了各类关于MP运算......