论文部分内容阅读
R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格.
R0-代数的MP-滤子
【摘 要】
：
R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格.
【机 构】
：
南平师范高等专科学校数学系
【出 处】
：
南平师专学报
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金，福建省教育厅自然科学基金
其他文献
时间：清末民初。地点：岭南。人物：诗兰——女子学堂的学生,后为怡心堂的小妹。黄锦芸——怡心堂的创建人,自梳女敬重的大家姐。月琴——怡心堂的自梳女,二姐。家宝——西学堂的
基于旋转异构态模型的构象构型统计方法,考虑侧基的结构,导出有机硅聚合物基础量统一计算公式,得到Poly（silastyrene）（PSS）、Polysilapropylene（PSP）、Poly（methylphenylsiloxane）（PMP
山东省文艺评论培训班和首届山东地方戏新创作小戏展演同期结束了，作为文艺评论培训班的一名学员和从事戏曲创作的青年编剧，我以学习与探讨的心态看了三场20多个小戏，感受颇多。
尽管从传统的电影档期规律上来说，4月份是个淡季，但对于2012年的中国电影市场而言，4月份波澜诡谲，险象环生。《黄金大劫案》能逆势而上，取得1．5亿的票房，这与其极为精彩的市场营销策
基于确定表面粗糙结构形状的PML模型模拟表面粗糙度对大高宽比小槽道内流动特性的影响,并与3-D模拟结果对比,结果较为一致.基于该模型对不同的流速和不同的粗糙度进行模拟,结
综述BCK／BCI代数在逻辑代数中的地位与意义，回顾所知国内外学者在该领域的一些主要工作，介绍了BCK／BCI代数理论中的一些概念、术语和成果，篇末罗列较丰富的参考文献，期望对年轻的学
在专业演出场馆中，舞台所用灯具的种类繁多，且要依据演出剧目情节的进展要求灯光不时进行变化，电能消耗很大。在经历了电阻型调光，变压器调光．磁放大器调光阶段后，目前调光设备多采
通过分析量子势阱粒子群优化算法的设计过程,提出一种基于Bloch球面搜索的量子粒子群优化算法.首先用基于Bloch球面描述的量子位描述粒子,用泡利矩阵建立旋转轴,用Delta势阱
在知识经济到来之际,大学从社会边缘走向了社会中心.大学的使命不仅是传授知识,而且要培育学生的创新能力,因而必须形成独具特色的文化精神,在传授知识的过程中,形成学生坚持