| 参数Kleene系统的可靠性定理 |
| |
| 引用本文： | 赵正波. 参数Kleene系统的可靠性定理[J]. 科学技术与工程, 2012, 12(11): 2677-2679 |
| |
| 作者姓名： | 赵正波 |
| |
| 作者单位： | 渭南师范学院数学与信息科学学院,渭南,714000 |
| |
| 摘 要： | 介绍了参数Kleene系统和参数Kleene系统的三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下，讨论了参数Kleene系统的可靠性.
|
| 关 键 词： | 参数Kleene系统；广义重言式；三-I算法；可靠性 |
| 收稿时间： | 2012-01-31 |
| 修稿时间： | 2012-01-31 |
Soundness In Parameter Kleene System |
| |
| zhaozhengbo. Soundness In Parameter Kleene System[J]. Science Technology and Engineering, 2012, 12(11): 2677-2679 |
| |
| Authors: | zhaozhengbo |
| |
| Affiliation: | ZHAO Zheng-bo(College of Mathematics and Information science,Weinan Normal University,Weinan 71400,P.R.China) |
| |
| Abstract: | It first has introduced to the parameter Kleene system and triple I algorithm in the parameter Kleene system. And the soundness of the formal system has been discussed on triple I algorithm. It is also helpful in studies the fuzzy reasoning in the system. |
| |
| Keywords: | parameter Kleene system generalized tautology triple I algorithm soundness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
|
点击此处可从《科学技术与工程》下载全文 |
