| 逻辑系统H_t中三-I算法的另一种证明 |
| |
| 引用本文： | 马巧云,吴洪博.逻辑系统H_t中三-I算法的另一种证明[J].计算机工程与应用,2008,44(7):91-93. |
| |
| 作者姓名： | 马巧云 吴洪博 |
| |
| 作者单位： | 1. 西安文理学院数学系,西安,710065;陕西师范大学数学与信息科学学院,西安,710062
2. 陕西师范大学数学与信息科学学院,西安,710062 |
| |
| 基金项目： | 国家自然科学基金(the National Natural Science Foundation ofChina under Grant No.10471083)，西安文理学院科研资助项目(No.KY200535) |
| |
| 摘 要： | 在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。
|
| 关 键 词： | 逻辑系统 三I算法 Ht系统 Ht代数 |
| 文章编号： | 1002-8331（2008）07-0091-03 |
| 收稿时间： | 2007-06-21 |
| 修稿时间： | 2007-08-27 |
Another proving of three I algorithm in fuzzy logic system Ht |
| |
| MA Qiao-yun,wu Hong-bo.Another proving of three I algorithm in fuzzy logic system Ht[J].Computer Engineering and Applications,2008,44(7):91-93. |
| |
| Authors: | MA Qiao-yun wu Hong-bo |
| |
| Affiliation: | 1.Dept Math，Xi’an University of Arts and Science，Xi’an 710065，China 2.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China |
| |
| Abstract: | Another proving of three I algorithm in fuzzy logic system Ht based on Ht algebra is gotten.Moreover it is proved that three I algorithm is P-returning algorithm in fuzzy logic system Ht and the answer of FMT in fuzzy logic system Ht is obtained.The fuzzy logic system W is gotten if letting t=1 in fuzzy logic system Ht.So the results in fuzzy logic system Ht will be results in fuzzy logic system W. |
| |
| Keywords: | logic system three I algorithm logic system Ht Ht algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
