系统Hα中F(S)的一个分划及一种升级算法

• 作者: 于鸿丽 吴洪博
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 模糊命题演算 可达α+-重言式 分划 升级算法
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 模糊集理论
• 页码范围: 16-21
• 页数: 6页
• 分类号: O141.1
• 字数: 3434字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2007.04.004

摘要

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于(一)同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	于鸿丽	陕西师范大学数学与信息科学学院	4	21	2.0	4.0