R0-算子相关论文
在本文中,针对蕴涵算子Ro,我们给出了当A→B与A*(B*)给定时,求使三I表达式(A→B)→(A*→B*)取最小值的全体B*(A*)之集的上确界(下......
利用R0-蕴涵算子对命题公式集F（S）进行分类，得出了F（S）的一个16类分划，并证明了这种分类关于非运算是同余分类．最后讨论了各类关于MP运算......
