论文部分内容阅读
给出了格蕴涵代数在它的素理想空间上的一个表示,并讨论了表示以后的一些性质,从而得到了格蕴涵代数的一个性质.
格蕴涵代数的一个表示
【摘 要】
：
给出了格蕴涵代数在它的素理想空间上的一个表示,并讨论了表示以后的一些性质,从而得到了格蕴涵代数的一个性质.
【机 构】
：
西南交通大学应用数学系
【出 处】
：
绵阳师范学院学报
【发表日期】
：
2003年2期
其他文献
<汉语大词典>书证滞后的现象相当严重,本文就平时所记尽可能补出有关词条的最早书证.既可供<汉语大词典>修订时匡补,亦为文史工作者提供一些材料.
均匀棒纯纵向运动方程是一类重要的非线性发展方程,它典型反映了一类自由应力状态下均匀粘弹性棒的纯纵向运动问题。给出了均匀棒纯纵向运动方程初边值问题有限元方法的半离
延政办发[2019]15号各县区人民政府,市政府各工作部门、直属机构:《延安市政府投资项目概算管理办法》已经市政府第29次会议研究同意,现印发给你们,请认真遵照执行。2019年5
(2019年4月1日)同志们:我就城乡建设事业所处的历史方位和承担的历史使命、面临的机遇和风险挑战、今年重点工作目标任务和推进保障措施四个方面与大家进行探讨交流、启发思
对概率论中的有限可加与σ可加的区别与联系进行比较分析,得出如下结果:(1)σ可加可以推出有限可加;(2)有限可加推不出σ可加.
在压强为0.5Pa和0.7Pa的情况下,采用磁控溅射法分别在Si及石英玻璃衬底上生长ZnO薄膜。利用原子力显微镜对ZnO薄膜的表面形貌进行观察,研究了压强及衬底对薄膜表面形貌的影响
对影响暗孤子传输系统的一些主要因素,如初相位的影响、随机色散的影响、增益随机变化的影响、内脉冲拉曼散射效应的影响进行了总结性的探讨,并发现在许多情况下,引入非线性
(2019年4月26日)同志们:在'五一'国际劳动节即将到来之际,我们在这里隆重集会,共同庆祝广大工人阶级和劳动群众自己的节日,表彰全市'五一劳动奖状''工人
2018年,延安市委、市政府全面推进节能减排。实行排污许可'一证式'管理,落实环境影响评价、排污许可、环境监测、环境信息公开、污染物排放总量控制等制度,抓好重点
延政办发[2017]53号各县区人民政府,市政府各工作部门、直属机构《延安市公安机关警务辅助人员管理实施细则》已经市政府研究同意,现印发给你们,请遵照执行。2017年10月31日
期刊