论文部分内容阅读
讨论了基础模糊命题演算形式演绎系统L＊相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.
基础R0-代数与BCI/BCK-代数的关系（Ⅰ）
【摘 要】
：
讨论了基础模糊命题演算形式演绎系统L＊相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间
【机 构】
：
商洛学院数学与计算科学系
【出 处】
：
内蒙古师范大学学报：自然科学汉文版
【发表日期】
：
2013年6期
【基金项目】
：
陕西省自然科学基础研究计划项目（2013JM1023）,陕西省教育厅科研计划项目（11JK0512）,陕西省教育科学“十一五”规划课题（SGH10119）,商洛学院重点教改项目（12jyjx109）
其他文献
可可西里的英雄倒下是如此悲凄,如此猝然!这个看上去摧不垮的男人在地上抽搐着,跟那些被射杀的藏羚羊没有什么区别。也许,一个理想主义者的现实归宿就是如此。他没有三头六臂
针对超高清视频编码的实时性需求以及高效视频编码熵编码系统中存在的数据吞吐率瓶颈,提出了一种基于波前并行处理(WPP)技术的硬件架构,在提高编码并行度的同时保留了行与行
为了研究人字形螺旋槽止推轴承的结构参数对其静动态性能的影响,针对轴承的特殊结构,通过坐标变换在扇形坐标系下,建立了轴承的性能计算模型。在正交坐标系下运用有限差分法
阿奇霉素(ａｚｉｔｈｒｏｍｙｃｉｎ,ＡＺＭ)是一种氮环内酯类抗生素,其化学结构为在14元内酯环的9ａ位上多一个甲基氮而成为15元环。该药与红霉素(ｅｒｙｔｈｒｏｍｙｃｉｎ,ＥＭ)在化学结构上和作用机制上具有共同性。但它们的生物特性却
远程互动云计算实验的目标是通过网络动态地实现计算资源共享。它改变了传统的实验模式,使用虚拟化技术和资源动态共享机制,对提高资源利用效率、减少管理维护成本有着重要的