￡~*-Lindenbaum代数中的滤子  

 Filter in ￡~*-Lindenbaum Algebra

作　　者：马巧云[1] 吴洪博[2] 

机构地区：[1]西安文理学院数学系 [2]陕西师范大学数学与信息科学学院

出　　处：《云南师范大学学报（自然科学版）》2011年第5期43-45,共3页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：国家自然科学基金资助项目(10871121);西安文理学院2008年中青年专业技术人员科研资助项目(kyc200819)

摘　　要：利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如<D(Γ)>的形式.Operator О is defined in F（S）/-by using the definition of operation О in F（S）. The О filter is defined and the properties of О filter are discussed, О filter in F（S） /-has the form as 〈D（F）〉 is the best important conclusion in this paper.

关 键 词：￡＊-Linden baum代数 О滤子 生成О滤子 素О滤子 极大О滤子 

分 类 号：O141[理学—数学]