逻辑系统Ht中三-I算法的另一种证明

• 作者: 吴洪博 马巧云
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 逻辑系统 三I算法 Ht系统 Ht代数
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 学术探讨
• 页码范围: 91-93
• 页数: 3页
• 分类号: O141
• 字数: 2703字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.07.027

摘要

在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明.指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题.在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W.所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	马巧云	西安文理学院数学系	22	45	4.0	6.0