L*系统中的模糊演绎定理

摘要：

研究了模糊命题演算的形式演绎系统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).

关键词：模糊逻辑、模糊命题演算、算子、模糊演绎定理

所属期刊栏目：29

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2011-12-13（万方平台首次上网日期，不代表论文的发表时间）

页码：17-22