|
|||||
|
|
| 系统Hα中F(S)的一个分划及一种升级算法 | |
| 作者姓名： | 于鸿丽 吴洪博 |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062;西安文理学院,数学系,陕西,西安,710065;陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| 基金项目： | 国家自然科学基金资助项目(10471083) |
| 摘 要： | 研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。 |
| 关 键 词： | 模糊命题演算 可达α+-重言式 分划 升级算法 |
| 文章编号： | 1001-7402（2007）04-0016-06 |
| 收稿时间： | 2006-04-11 |
| 修稿时间： | 2006-04-112006-07-11 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |