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

• 作者: 吴洪博 文秋梅
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 模糊命题演算 算子 模糊演绎定理
• 年，卷（期）: 2001,（1）
• 所属期刊栏目: 专题研究
• 页码范围: 17-22
• 分类号: O141.1
• 字数: 2403字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2001.01.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学研究所	194	656	12.0	16.0
2	文秋梅	唐山师范学院数学系	5	52	4.0	5.0