R0-代数的正规MP～理想

• 作者: 刘三阳 刘用麟
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 数学
• 关键词: R0-代数 正规R0-代数 正规MP-理想 MP-理想
• 年，卷（期）: 2005,（1）
• 页码范围: 139-141,155
• 页数: 4页
• 分类号: O141.1
• 字数: 2813字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2005.01.031

摘要

R0-代数是基于系统研究形式演绎系统な*而提出的一类逻辑代数.研究了R0-代数的结构.引进了R0-代数的正规MP-理想的概念.讨论了正规MP-理想与MP-理想之间的关系.给出了正规MP-理想的特征性质和扩张性质.用正规MP-理想完全刻画了正规R0-代数.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘三阳	西安电子科技大学理学院	662	5562	32.0	51.0
2	刘用麟	西安电子科技大学理学院	4	5	1.0	2.0