论文部分内容阅读
引入交换Ｈｉｂｅｒｔ代数与ＢＣＫ－代数的概念，给出了它的一个等价公理系。同时，研究了Ｈｉｂｌｅｒｔ代数与ＢＣＫ－代数，ＭＶ代数的关系。
Hilbert代数与BCK-代数
【摘 要】
：
引入交换Ｈｉｂｅｒｔ代数与ＢＣＫ－代数的概念，给出了它的一个等价公理系。同时，研究了Ｈｉｂｌｅｒｔ代数与ＢＣＫ－代数，ＭＶ代数的关系。
【机 构】
：
汉中师范学院数学与计算机系
【出 处】
：
陕西工学院学报
【发表日期】
：
2000年4期
【基金项目】
：
汉中师范学院 1999年度科研基金项目! (XY9911)
其他文献
我和丈夫离婚几个月了，原因是他有外遇。有一天我中途回家．家门却被反锁怎么也打不开。我预感不妙，赶紧给丈夫打电话却无人接听，于是我就在门外等着。足足等了40分钟，突然门打开了
10月23日晚,2020年农业农村系统农业投融资知识竞赛决赛在深圳成功落下帷幕,农业农村部副部长刘焕鑫出席活动。为加强农业农村系统计划财务人员投融资管理能力建设,提升综合
西苏格兰大学创立于1897年,起初仅提供职业教育课程。20世纪初,开始提供学位教育课程。2007年,佩里斯大学与贝尔学院合并创建了如今苏格兰规模最大、最为现代化的大学——西
1故障现象多台透析机在使用中报警：B液浓度下限。2故障分析首先询问配液护士,排除由误操作引起的报警,确认实际B液配液桶配液水位与所投B粉量相匹配,排除设备供水过多的因素。
提出并着重研究了Ｄｉｒｅｃｔｌｙ－Ｒｉｅｍａｎｎ积分的极限定理，解决了Ｄｉｒｅｃｔｌｙ－Ｒｉｅｍａｎｎ积分中的积分与极限次序交换问题。
目的利用体表子宫肌电信号的分析实现宫缩和非宫缩状态的识别。方法利用Monica AN24母胎监护仪采集10名孕期和10名临产期孕妇的子宫肌电信号,然后提取了子宫肌电信号线性和非
作业调度问题一直是ＦＭＳ中一个很重要的课题。本文以济南第一机床厂箱体零件ＦＭＳ为背景，研究了其低层加工中心的实时调度问题，提出了一种基于批量问题的单机启发式实时调度方法，并考虑了
大学生就业难的问题已经十分凸显,要解决这个难题,最基本的是从学生的就业思维着手.文章分析了大学生就业形势,梳理了高校思想政治教育与大学生就业指导的关系,以及思想政治
紫砂壶在中国传统陶瓷艺术品中分量极重,是折射中国艺术、文化特质的重要作品。“莲台壶”这件作品外观造型清晰明确,具有典型化特征,莲台更富于佛教象征意义,笔者围绕此壶造