L*系统的一种弱完全对偶形式系统WCL-*

• 作者: 吴洪博 王国俊
• 来源期刊: 西安石油学院学报
• 学科: 数学
• 关键词: 模糊逻辑 命题演算 形式演绎系统L* 弱完全对偶形式演绎系统WCL-* 并推理规则
• 年，卷（期）: 2000,（6）
• 所属期刊栏目: 基础科学
• 页码范围: 48-52
• 页数: 6页
• 分类号: O141.1
• 字数: 3999字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-064X.2000.06.013

摘要

研究了模糊命题演算的一种形式演绎系统L*和修正的Kleene逻辑系统W-,W,Wk及R0-代数,给出了L*系统的一种弱完全对偶形式系统WCL-*,并证明了二者之间的等价性,为形式演绎系统的研究和应用提供了一个有益的途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊		176	2910	25.0	49.0
2	吴洪博	四川大学数学系	8	96	4.0	8.0