论文部分内容阅读
本文首先讨论了剩余格与FI代数之间、FI代数与MV代数之间的关系,对已有结果进行了改进。随后提出了预线性剩余格的概念,证明了预线性剩余格是BR0代数与BL代数的基础,从而也就是著名的MV代数、R0代数、G代数与Ⅱ代数的公共基础。
预线性剩余格与逻辑代数
【摘 要】
：
本文首先讨论了剩余格与FI代数之间、FI代数与MV代数之间的关系,对已有结果进行了改进。随后提出了预线性剩余格的概念,证明了预线性剩余格是BR0代数与BL代数的基础,从而也就
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
工程数学学报
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金（10471083）,陕西师大重点科研基金（995130）,陕西师范大学研究生创新基金（2006CXS017.）
其他文献
本文根据公路现状车辆荷载的统计数据，讨论了其包含大量普通车辆荷载的概率分布特性，提出使用滤过Poisson过程表示一般运行状态下的车辆荷载随机过程。采用最小变换方法，给出设
无线射频识别技术（RFID）有望在不久的将来取代条形码系统,它的信息存储量以及传输信息的能力相比条形码都有明显的优势。然而,由此引发的用户隐私入侵和系统安全威胁一直是用户
根据网络传播的含义,论述了网络传播对图书馆信息服务产生的影响,并对图书馆网络信息服务可能产生的知识产权问题作了简要的阐述.
本文利用锥中不动点指数理论研究了Banach空间中一类二阶非线性奇异脉冲微分方程的Neumann边值问题，得到了正解存在的一个充分条件，将已有文献的一些结果推广到了Neumann边值条
基于经典Runge-Kutta方法，本文建立了一类含一个自由参数、阶数不小于4且级阶不小于2的三级对角隐式Runge-Kutta公式，讨论了该公式的阶条件和阶结果。构造了级阶为2的三级3阶对