| Gdel区间值逻辑系统的广义拟重言式 |
| |
| 引用本文： | 卫利萍,薛占熬,岑 枫. Gdel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用, 2009, 45(6): 57-59 |
| |
| 作者姓名： | 卫利萍 薛占熬 岑 枫 |
| |
| 作者单位： | 河南师范大学 计算机与信息技术学院，河南 新乡 453007 |
| |
| 基金项目： | 河南省自然科学基金（the Natural Science Foundation of Henan Province of China under Grant No.0611053900） |
| |
| 摘 要： | 吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gdel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划。将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划。
|
| 关 键 词： | 广义拟重言式 广义重言式 模糊逻辑 命题演算 |
| 收稿时间： | 2008-01-31 |
| 修稿时间： | 2008-4-7 |
Generalized quasi-tautology of Gödel interval-valued logic system |
| |
| WEI Li-ping,XUE Zhan-ao,CEN Feng. Generalized quasi-tautology of Gödel interval-valued logic system[J]. Computer Engineering and Applications, 2009, 45(6): 57-59 |
| |
| Authors: | WEI Li-ping XUE Zhan-ao CEN Feng |
| |
| Affiliation: | College of Computer and Information Technology，Henan Normal University，Xinxiang，Henan 453007，China |
| |
| Abstract: | Ph.D WU Hong-bo generalized Professor WANG Guo-jun’s theory about R0-logic system generalized tautology into Gödel logic system.He has obtained the partition by introducing the two concept of isomorphic mapping on Gödel logic system of F（S）.In this paper，the authors generalize Ph.D WU’s theory into interval-valued fuzzy propositional logic system，introduce the two new concept of interval isomorphic mapping，and also obtain the partition on interval-valued logic system of F（S） in the end. |
| |
| Keywords: | generalized quasi-tautology generalized tautology fuzzy logic propositional logic |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
