| ￡~*-Lindenbaum代数中的滤子 |
| |
| 引用本文： | 马巧云,吴洪博.￡~*-Lindenbaum代数中的滤子[J].云南师范大学学报(自然科学版),2011(5):43-45. |
| |
| 作者姓名： | 马巧云 吴洪博 |
| |
| 作者单位： | 西安文理学院数学系;陕西师范大学数学与信息科学学院; |
| |
| 基金项目： | 国家自然科学基金资助项目(10871121); 西安文理学院2008年中青年专业技术人员科研资助项目(kyc200819) |
| |
| 摘 要： | 利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如的形式.
|
| 关 键 词： | ￡*-Lindenbaum代数 滤子 生成滤子 素滤子 极大滤子 |
Filter in ￡~*-Lindenbaum Algebra |
| |
| MA Qiao-yun,WU Hong-bo. Filter in ￡~*-Lindenbaum Algebra[J].Journal of Yunnan Normal University (Natural Sciences Edition),2011(5):43-45. |
| |
| Authors: | MA Qiao-yun WU Hong-bo |
| |
| Institution: | MA Qiao-yun1,WU Hong-bo2(1.Department of Mathematics,Xi'an Science and Article University,Xi'an 710065,China 2.College of Mathematics and Information Science,Shaanxi Normal University,Xi'an 710062,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
