R_0-代数的正规MP-理想
Normal MP-ideals of R_0-algebras作者机构:西安电子科技大学理学院
出 版 物:《西安电子科技大学学报》 (Journal of Xidian University)
年 卷 期:2005年第32卷第1期
页 面:139-141,155页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:国家自然科学基金资助项目(69972036) 福建省教育厅自然科学基金资助项目
主 题:R0-代数 正规R0-代数 正规MP-理想 MP-理想
摘 要:R0 代数是基于系统研究形式演绎系统L 而提出的一类逻辑代数.研究了R0 代数的结构.引进了R0 代数的正规MP 理想的概念.讨论了正规MP 理想与MP 理想之间的关系.给出了正规MP 理想的特征性质和扩张性质.用正规MP 理想完全刻画了正规R0 代数.