-

检索结果分析

结果分析中...
检索条件:"关键词=£^*-Lindenbaum代数 "
条 记 录,以下是1-1
视图:
排序:
显示条数:
~*-Lindenbaum代数中的商理想
《云南师范大学学报(自然科学版)》2010年第2期9-10,20,共3页马巧云 吴洪博 
国家自然科学基金资助项目(10871121);西安文理学院2008年中青年专业技术人员科研资助项目(kyc200819)
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)~所得的商代数F(S)/~中的运算,在F(S)/~中定义了商理想,讨论了商理想的性质,得到了F(S)/~中的商理想都有形如<┐D(Γ)>的形式.
关键词:^*-Lindenbaum代数 商理想 生成 商理想  商理想 极大 商理想 
检索报告 对象比较 聚类工具 使用帮助 返回顶部