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

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

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

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