| R0-代数的MP-滤子 |
| |
| 引用本文： | 刘用麟.R0-代数的MP-滤子[J].南平师专学报,2004,23(2):1-4. |
| |
| 作者姓名： | 刘用麟 |
| |
| 作者单位： | 南平师范高等专科学校,数学系,福建,南平,353000 |
| |
| 基金项目： | 国家自然科学基金资助项目(69972036)及福建省教育厅自然科学基金资助项目(JA03164). |
| |
| 摘 要： | R0-代数是基于系统研究形式演绎系统∫^*而提出的一类逻辑代数．本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格．
|
| 关 键 词： | R0-代数 滤子 Brouwer格 形式演绎系统 伪补分配格 逻辑代数 系统研究 集合 |
| 文章编号： | 1008-5963(2004)02-0001-04 |
| 修稿时间： | 2004年2月18日 |
MP - filters in R0 - algebras |
| |
| LIU Yonglin.MP - filters in R0 - algebras[J].Journal of Nanping Teachers College,2004,23(2):1-4. |
| |
| Authors: | LIU Yonglin |
| |
| Abstract: | |
| |
| Keywords: | R_0-algebra MP-filter lattice |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
