对著名的形式演绎系统L*做了进一步的研究，得到一些新定理。在系统L*中引入新的二元运算，讨论了这种运算的性质，并由此得到了形式系统......

从语义和语法两个方面将形式演绎系统 *层次化,得到 *的一个扩张,从而增强了系统 *的表达能力,使之能更有效地应用于模糊系统的研......

研究了模糊逻辑的形式演绎系统L*及R0-代数的性质,得到形式系统L*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合......

研究了模糊命题演算的形式演绎系统＊以及在语义上相关的修正的Kleene逻辑系统－／W，W，Wk和R0代数，讨论了算子×：F（S）×F（S）→F（S）的一些基......

本文提出泛逻辑学在理想状态(广义相关系数h=0．5．广义自相关系数k=0．5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式......

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列......

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和......

R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer......