L~*系统中的模糊演绎定理 (2001年)

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质,给出了L 系统中的模糊演绎定理.结果表明,在L 系统中,(1 )如果Γ∪{A} B ,那么Γ A2 →B ;(2 )Γ∪{A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .