论文部分内容阅读
讨论了基础模糊命题演算形式演绎系统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元环。该药与红霉素(ｅｒｙｔｈｒｏｍｙｃｉｎ,ＥＭ)在化学结构上和作用机制上具有共同性。但它们的生物特性却
目的探讨触摸护理对外伤性前房出血患者的效果。方法资料来源采用随机抽样法分成两组,对照组38例,采用常规护理,作常规病情观察;干预组46例,实施触摸护理干预进行护理。观察
英语写作教学是英语教学中的重要一环，如何提高英语写作教学的效率一直是教学实践中急需解决的问题。多媒体网络技术的发展为这个课题的解决提供了一个新的途径。
有记者调查发现，在最近3年亮相的影视剧中，63％有吸烟镜头，平均每部电视剧达30多个，每12分钟出现一次。特别是以《黑洞》、《重案六组》为代表的警察故事系列和以《亮剑》、《军人
2006年1月11日至12日国家新闻出版总署在厦门召开“2005年度中国游戏产业年会”，红徽国际知识产权代理连锁机构随即展开一项名为《关于以中国古典名著作为游戏商标注册的状况
目的观察大型多功能呼吸机无创通气治疗低氧血症的临床疗效。方法将60例符合诊断标准的低氧血症患者随机分成两组,即治疗组（n=30）与对照组（n=30）,进行分组治疗。治疗组在常规治疗
远程互动云计算实验的目标是通过网络动态地实现计算资源共享。它改变了传统的实验模式,使用虚拟化技术和资源动态共享机制,对提高资源利用效率、减少管理维护成本有着重要的