￡*-Lindenbaum代数中的⊕商理想

• 作者: 吴洪博 马巧云
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: ￡*-Lindenbaum代数 ⊕ 商理想 生成⊕商理想 素⊕商理想 极大⊕商理想
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 数学
• 页码范围: 9-10,20
• 页数: 3页
• 分类号: O141
• 字数: 2603字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2010.02.003

摘要

利用F(S)中⊕运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的⊕运算,在F(S)∕～中定义了⊕商理想,讨论了⊕商理想的性质,得到了F(S)∕～中的⊕商理想都有形如<ΓD(Γ)>的形式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	马巧云	西安文理学院数学系	22	45	4.0	6.0