论文部分内容阅读
R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格.
R0-代数的MP-滤子
【摘 要】
：
R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格.
【机 构】
：
南平师范高等专科学校数学系
【出 处】
：
南平师专学报
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金，福建省教育厅自然科学基金
其他文献
基于旋转异构态模型的构象构型统计方法,考虑侧基的结构,导出有机硅聚合物基础量统一计算公式,得到Poly（silastyrene）（PSS）、Polysilapropylene（PSP）、Poly（methylphenylsiloxane）（PMP
山东省文艺评论培训班和首届山东地方戏新创作小戏展演同期结束了，作为文艺评论培训班的一名学员和从事戏曲创作的青年编剧，我以学习与探讨的心态看了三场20多个小戏，感受颇多。
基于确定表面粗糙结构形状的PML模型模拟表面粗糙度对大高宽比小槽道内流动特性的影响,并与3-D模拟结果对比,结果较为一致.基于该模型对不同的流速和不同的粗糙度进行模拟,结
通过分析量子势阱粒子群优化算法的设计过程,提出一种基于Bloch球面搜索的量子粒子群优化算法.首先用基于Bloch球面描述的量子位描述粒子,用泡利矩阵建立旋转轴,用Delta势阱
在知识经济到来之际,大学从社会边缘走向了社会中心.大学的使命不仅是传授知识,而且要培育学生的创新能力,因而必须形成独具特色的文化精神,在传授知识的过程中,形成学生坚持