在本文中,针对蕴涵算子Ro,我们给出了当A→B与A*(B*)给定时,求使三I表达式(A→B)→(A*→B*)取最小值的全体B*(A*)之集的上确界(下......

在本文中，针对蕴涵算子R0，我们给出了当A→B与A^＊（B^＊）给定时，求使三Ⅰ表达式（A→B）→（A^＊→B^＊）取最小值的全体B^＊（A^＊）之集的上确界（下确界）算法．并将......

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