|
|||||
|
|
| Gdel区间值逻辑系统的广义拟重言式 | |
| 作者姓名： | 卫利萍 薛占熬 岑枫 |
| 作者单位： | 河南师范大学 计算机与信息技术学院,河南 新乡 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 |
| 本文献已被 维普 等数据库收录！ | |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与应用》下载全文 | |