论文部分内容阅读
证明了Hilbert代数(H，→，1)是反正蕴涵的BCK-代数，即若使a*b=b→a，则(H，*，1)是正蕴涵BCK-代数。1在(H，→，1)中是最大元，而在(H，*，1)中是最小元。
Hilbert代数是反正蕴涵BCK-代数
【摘 要】
：
证明了Hilbert代数(H，→，1)是反正蕴涵的BCK-代数，即若使a*b=b→a，则(H，*，1)是正蕴涵BCK-代数。1在(H，→，1)中是最大元，而在(H，*，1)中是最小元。
【机 构】
：
吕梁高等专科学校,采矿与土木工程系
【出 处】
：
山西矿业学院学报
【发表日期】
：
1997年2期
其他文献
在平时维修和保养机器时,由于缺乏专门的检查仪器和设备,只能借助观察、触摸、听诊等感觉来鉴别柱塞偶件、出油阀偶件和喷油嘴质量的好坏和能否继续使用,现分别介绍如下.
现代农业生产中鼓风机的使用比较普遍,鼓风机各部件相互碰擦是其运行中常见的现象,必须及时消除,否则影响鼓风机的使用效率和寿命.常用的鼓风机有叶氏鼓风机与罗茨鼓风机,因
假票在流通领域的出现,对我们金融系统的工作提出了挑战。为此,我们应采取有力的措施,加强反假工作,维护人民币的信誉。 1.要加强反假票的宣传工作。一方面要利用多种宣传工
提出应用天然γ射线全能谱测量煤灰分的新设想,并使用研制成的便携式微机化多道γ能谱仪进行了初步应用和探讨,证明该方法用于测煤灰分是完全可行的。更多还原
羊疥螨病又称疥癣,是由疥螨寄生于羊体表皮而引起的一种慢性接触性寄生虫皮肤病.本病呈世界性分布,对羊的危害性较大,尤其在寒冷的北方地区由疥螨导致羊生长缓慢,饲料转化率
<正> 临海市白水洋镇信用社,1985年开始对所属的上峰信用分社实行招聘承包,并逐步形成了一个特有的承包办法。承包三年来,上峰分社在改变社风社貌,和支持农村经济发展方面,都
MB220型玉米青饲料收获机能一次完成一行青贮玉米的喂入、切碎和抛送装车等项作业.该机在传动系统中取消了传动链条和传动带,采用了两套可伸缩调整的动力传动轴和两套齿轮箱
首先对乳糖异构生产乳果糖的异构剂进行筛选,选出最佳异构剂为亚磷酸氢二钠,然后对异构条件进行优化,得出乳糖异构生产乳果糖最佳条件为：异构剂加量为2.0%,反应时间为3 h,反应