论文部分内容阅读
在有界关联BCK代数概念的基础上,利用循环证法证明了有界关联BCK代数的十条等价性质.
有界关联BCK代数的性质
【摘 要】
：
在有界关联BCK代数概念的基础上,利用循环证法证明了有界关联BCK代数的十条等价性质.
【机 构】
：
湖南理工学院数学学院
【出 处】
：
牡丹江大学学报
【发表日期】
：
2011年3期
其他文献
春耕备耕正忙时，江西省于都县岭背镇稻田养鱼能手李华明因为租借不到农田，致使稻田养鱼规模无法扩大而犯愁。这一问题通过刚成立的“务农职介所”很快得到解决，借到了农田。这种
4-6月份当蕨菜嫩薹高20-25厘米且叶苞未展开时,自地面处将其摘下。为防止蕨菜离土老化要求基部沾着泥土装筐。筐底预先铺上一层青草,以免挤烂底层 蕨菜而引起变色。绿色和紫
波德莱尔是法国象征主义的创始人之一,理论的创建者,其对中国20世纪初产生的象征主义诗歌有重大的影响。穆木天留学日本期间学习法国文学,对法国象征主义有着自己独特的见解,
把往年养鱼500元的收入提高到近1000元,效益翻一番的“奇迹”让梁玉忠的父亲得意不已。然而,梁玉忠却说,是他买的“怪东西”帮的大忙。他父亲有些迷惑了。那么,这到底是怎么
叙事是人类组织经验的方法,是理解社会、构建社会的重要途径。同时,对于个人来说,叙事也是身份的一种构建方式。千变万化的叙事表面下往往蕴含着相对固定的原型故事以及深层
1.胃病止痛法 将蛋壳洗净、捣碎,用温火炒黄(不能焦糊)研末,饭前饭后用开水送服,每日分2～3次服1只蛋壳的量。 2.治小儿遗尿 每晚睡前服1汤匙蜂蜜,中间不间断地服完50～100毫升可
仰韶文化之后，在山东海岱地区继承大汶口文化发展起来的典型龙山文化，距今约4500年-4000年，是中国考古学家于1928年首次在山东省历城县龙山镇（今属山东省章丘市）城子崖发现。它属
随着我国农业产业结构的升级,优质特色农产品大量的生产出来。然而过去传统的流通渠道不能够保证农产品销售的畅通。国家基于拓宽农产品销售渠道目的提出并开展了＂农超对接＂工