【摘 要】
：
运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集фLI（L）上定义了格运算 和 ,蕴涵运算 以及伪补运算 ,证明了（фLI（L）,, , , ,{O},L）
【基金项目】
：
国家自然科学基金（10371106,60774073）
论文部分内容阅读
运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集фLI（L）上定义了格运算 和 ,蕴涵运算 以及伪补运算 ,证明了（фLI（L）,, , , ,{O},L）构成一个完备Heyting代数的结论.其次,利用运算固的性质给出了（ф_（LI）（L）,, , , , ,{O},L）成为Boolean代数的若干充要条件.最后,借助于L的素LI-理想之特性获得了格（фLI（L）,, , ,{O},L）中素元的若干等价刻画.
其他文献
本文主要研究类Wilson元对抛物方程的逼近,当问题的解υ∈H~3（Ω）及υ∈H~4（Ω）时,利用该元的非协调误差在能量模意义下分别可以达到O（h~2）和O（h~3）比其插值误差高一阶这一特殊性质,
本文利用α-对角占优矩阵给出了判定非奇H-矩阵的一组合参数迭代判定的充分条件，推广和改进了已有的相关结果，数值算例也说明了该判定准则的有效性．
水利工程建设施工尤为复杂,受地势地形、周边环境等众多因素的影响,从设计阶段便面临较多困难,而借助BIM技术,可以为工程分析、图纸设计、数据计算、作业施工、运营维护等各
某高层住宅楼,框架——剪力墙结构,地下一层,地上十七层,建筑面积16800m2。该楼在施工至六层时混凝土养护11天并拆模后发现楼板有局部开裂现象,裂缝分布很不规则,深浅不一,裂
利用NOD随机变量的性质,研究了行为NOD随机变量阵列加权乘积和的完全收敛性,获得了一些新的结果,所得的结果推广和改进了已知的一些文献中的一系列结果.
从早期、使用期两阶段分析了水泥混凝土路面断板产生的原因,并提出了相应的防止路面断板的预防措施,论述了其断板的处理与修复方案,以减少路面断板数量,提高路面的使用年限和
研究了时间测度链上的一类二阶非线性中立型时滞动力方程的振动性,利用时间测度链上的理论和一些分析技巧,通过引入参数函数和Riccati变换,得到了该方程振动的几个充分条件,
应用逐段决定马尔可夫过程理论及补充变量技巧,使Markov-modulated风险过程成为齐次强马尔可夫过程,然后利用强马氏性及首达时间分布给出了其破产前最大盈余额与破产赤字的联
随着我国道路建设的快速发展,出现了大量软弱围岩隧道开挖,其存在围岩类别差、地质情况复杂、施工环境要求高、工期短等困难。分析了软弱围岩隧道施工质量控制的要点及质量控
本案业主主要从事商业媒体广告、服装走秀的行业。设计师所需考虑的是如何塑造空间的气氛，既迎合业主的要求，又不能趋于流俗。