摘要
R0 代数是基于系统研究形式演绎系统L 而提出的一类逻辑代数.研究了R0 代数的结构.引进了R0 代数的正规MP 理想的概念.讨论了正规MP 理想与MP 理想之间的关系.给出了正规MP 理想的特征性质和扩张性质.用正规MP 理想完全刻画了正规R0 代数.
R0-algebra is a class of logic algebra based on a systematic research on the formal deductive system L*. The main aim of this paper is to investigate the structure of R0-algebras, with the notion of normal MP-ideals in R0-algebras introduced. The relations between normal MP-ideals and MP-ideals are given. The characterization property and the extension property of normal MP-ideals are obtained. The normal R0-algebras are completely characterized by the normal MP-ideals.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2005年第1期139-141,155,共4页
Journal of Xidian University
基金
国家自然科学基金资助项目(69972036)
福建省教育厅自然科学基金资助项目
