引入了一类特殊的公式序列ＡＫ（Ｋ＝１，２，．．．）从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，并给出了广......

本文首次对泛逻辑的广义重言式理论进行研究.给出了泛逻辑的基本形式系统中的广义重言式的一系列性质.主要结果有:在泛逻辑的基本......

将逻辑系统－／Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广并应用到Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中，主要结果是：得到了逻辑公式集Ｆ（Ｓ）在系统中关于同余的分划；证明了在该逻辑系统......

给出了一类带参数的[0,1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算......

通过定义规范区间值模糊命题逻辑的→S蕴涵算子,讨论了区间值模糊命题逻辑广义拟重言式的分类,获得了与王国俊的一维赋值格广义重......