| ￡~*-Lindenbaum代数中的商理想 |
| |
| 引用本文： | 马巧云,吴洪博.￡~*-Lindenbaum代数中的商理想[J].云南师范大学学报(自然科学版),2010,30(2):9-10,20. |
| |
| 作者姓名： | 马巧云 吴洪博 |
| |
| 作者单位： | 1. 西安文理学院数学系,陕西,西安,710065
2. 陕西师范大学数学与信息科学学院,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目，西安文理学院2008年中青年专业技术人员科研资助项目 |
| |
| 摘 要： | 利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如┐D(Γ)的形式.
|
| 关 键 词： | ￡*-Lindenbaum代数 ⊕ 商理想 生成⊕商理想 素⊕商理想 极大⊕商理想 |
Three I algorithm in fuzzy logic system Ht |
| |
| MA Qiao-yun,WU Hong-bo.Three I algorithm in fuzzy logic system Ht[J].Journal of Yunnan Normal University (Natural Sciences Edition),2010,30(2):9-10,20. |
| |
| Authors: | MA Qiao-yun WU Hong-bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
