论文部分内容阅读
进一步研究了余剩余格的一些性质，并证明了余剩余格等价于具有条件（S）的BCK-格，最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画．所得结果将有助于深入了解余剩余格的代数结构，也为相关多值逻辑系统的研究提供又一途径．
关于余剩余格的一点注记
【摘 要】
：
进一步研究了余剩余格的一些性质，并证明了余剩余格等价于具有条件（S）的BCK-格，最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画．所得结果将有助于深入了解余剩余格的代数
【机 构】
：
广州航海高等专科学校基础部,华中师范大学数学与统计学学院
【出 处】
：
华中师范大学学报：自然科学版
【发表日期】
：
2010年2期
【基金项目】
：
国家自然科学基金项目（60875034）,广东省自然科学基金项目（021073）
其他文献
在石油工艺以及技术设备不断发展的今天，冲砂工艺作为井下作业中不可缺少的重要工序之一，其方式也由单一的冲砂方式发展为多种冲杀方式并存的现状，然而在目的相同的情况下，不同的
等离子切割作为主要的金属热切割方式之一,已经广泛应用于工业板材切割生产中。精细等离子切割作为普通等离子切割的升级,在能耗、切割质量和切割效率方面都有显著提升。等离
<正>一、人类应对环境问题三种截然不同的发展方式第一种是传统的发展方式。它走的是一条先污染、后治理的道路。第二种是环保主义的方式。它要的是一种停滞发展、保护环境的
准确预测射流流场密度对引信电机的研制有着重要的作用。本文介绍一种采用双曝光全息干涉法测取射流流场密度的基本原理及实验过程。给出了射流空场和射流绕模型情况下不同速
以自然风干的柠檬皮渣为原料，通过正交设计实验分析得出柠檬皮渣总黄酮超声波提取的最佳工艺条件，即乙醇浓度为80％、提取温度为45℃、液料比为20、提取时间为30min．在此条件下进
讨论了如何利用时空协方差函数和内在平稳变量图函数获得非平稳时空协方差函数的方法，同时给出了一些新的时空协方差和变差函数．