NM(L)系统的有限强完备性

• 作者: 吴洪博 张琼
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 模糊逻辑 NM(L)系统 NM(L)-链 部分嵌入 强完备性
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 科研通信
• 页码范围: 1414-1418
• 分类号: O141.1
• 字数: 5185字
• 语种: 中文

摘要

对NM(L)(Nilpotent Minimum (L)ukasiewicz Logic)系统进行了研究,讨论了NM(L)系统的强完备性问题.对NM(L)-链的性质作了进一步的研究,证明了任一NM(L)-链都可部分嵌入到[0,1],中;利用这一性质证明NM(L)系统的有限强完备性定理;最后指出,在NM(L)系统中,关于无限理论的强完备性定理是不成立的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	张琼	陕西师范大学数学与信息科学学院	17	28	3.0	5.0