格蕴涵代数的模型论性质

• 作者: 徐扬 秦克云
• 来源期刊: 西南交通大学学报
• 学科: 数学
• 关键词: 形式语言 超滤 格蕴涵代数 模型完备 超积 模糊超积
• 年，卷（期）: 2000,（5）
• 页码范围: 546-550
• 页数: 5页
• 分类号: O159
• 字数: 2509字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2000.05.023

摘要

讨论有关格蕴涵代数结构的模型论性质,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态,理论T不是完备的、也不是模型完备的,因而不存在内在Skolem函数.另外,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学应用数学系	186	1462	15.0	32.0
2	秦克云	西南交通大学应用数学系	147	930	15.0	22.0