关于BCK代数的模型论性质

• 作者: 郑淑红
• 来源期刊: 河南科学
• 关键词: BCK代数 模型完备性 完备性 超积 模糊超积
• 年，卷（期）: 2008,（9）
• 页码范围: 1021-1023
• 页数: 3页
• 分类号: O211.6
• 语种: 中文
• DOI: 10.3969/j.issn.1004-3918.2008.09.004

摘要

研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数,另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑淑红		3	13	1.0	3.0