论文部分内容阅读
讨论有关格蕴函代数结构的模型论性质，证明了形式化格蕴函数代数理论Ｔ保子模型，保模型链之并、保模型同态、理论Ｔ不是完备的，也不是模型完备的，因此不存在内在Ｓｋｏｌｅｍ函数。另外，文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积，并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。