多值逻辑系统Wn中α-三I问题的形式解

• 作者: 刘东利 王国俊
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: α-三I问题 多值逻辑系统Wn 形式化三I解
• 年，卷（期）: 2005,（25）
• 所属期刊栏目: 学术探讨
• 页码范围: 51-53
• 页数: 3页
• 分类号: O141.1
• 字数: 3554字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.25.016

摘要

在多值逻辑系统Wn中提出了α-三I问题.通过在F(S)中引入一个偏序,讨论了α-GMP和多重α-GMP问题的形式化推理问题,得到了α-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了α-三I问题的形式化推理机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0
2	刘东利	陕西师范大学数学研究所	2	5	1.0	2.0