关于正蕴涵BCK-代数

来源 :云南民族大学学报(自然科学版) | 被引量 : 0次 | 上传用户:hustguoguo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合(R)(X).
其他文献
"顿牟掇芥"是人们生活中司空见惯的物理现象.在中国东汉时期,当时杰出的思想家、哲学家王充在其所著书籍《论衡》中就有关于电的描述:"顿牟掇芥",顿牟就是琥珀,当琥珀经摩擦后,即
土地利用/土地覆被变化是全球变化研究的重点,是影响陆地碳循环的一个重要因子。该文对黄河三角洲河口地区1992年和1996年9月份的TM影像进行非监督分类,做出该地区土地覆被类型
在物理知识教学中进行科学方法的显性教育,可以采用"知识线"和"方法线"在教学过程中同时展开、并行前进的教育模式.笔者以"力的合成"这节课为例,介绍了如何采用"知法并行"教
本文以人教版《物理》教材(必修1)中课题研究“桥梁的研究”一节为例,谈谈新课程理念下如何发挥每册教材中的“课题研究”的作用,充分调动学生学习的自主性与能动性,开展探究
论证式教学的实质在于将科学领域的论证引人课堂,强调推理、辩论与质疑,以此促进学生理解科学概念和科学本质,促进学生的思维发展;其基本的教学环节为发现问题、引出论题、搜
1问题来源rn(2010年4月第3版人教版物理3-1课本第68页)二极管是非线性元件,它的电阻与通过电流的大小有关.使用不同的多用表,或使用不同倍率的欧姆挡时,即使测量的都是正向电
随着电子技术日新月异的发展,物理实验教学中传统的测量仪器如天平、弹簧测力计等已经越来越不能满足探究性实验对"快速、准确、连续、自动"的称量要求.尤其是当前新型单片机的
1主要器材rn(1)8 W日光灯1套,(2)单相交流调压电源(0.5 VA)1台,(3)万用表2块或250 V交流电压表2块.2降压的电源与升压的电器实验设计与研究2.1具体的实验过程与笔者对日光灯
在一些公开课教学、教辅材料及公开发表论文有关电源输出功率PR图像中,存在着作图不精确甚至错误的问题.本文从拐点界定及二阶导数的几何意义阐释,给出P-R正确图像. In some
构建了一个新的光滑价值函数来求解Po-函数非线性互补问题.区别于以往所构建的价值函数,构建的新的光滑价值函数不含任何光滑参数.对于Po-函数,可以得到,此价值函数的任一稳