首页> 中文期刊> 《西安电子科技大学学报》 >R_0-代数的正规MP-理想

R_0-代数的正规MP-理想

         

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号