R0-代数的正规MP-理想 (2005年)

【文件属性】：

文件名称：R0-代数的正规MP-理想 (2005年)

文件大小：2.66MB

文件格式：PDF

更新时间：2024-05-27 20:20:17

自然科学 论文

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