【摘 要】
:
本文肯定地回答了胡庆平(1987)提出的“拟可换BCK-代数类是BCK-代数类的真子类吗?或存在一个BCK-代数,使得它不是拟可换的吗?”问题。并在BCI-代数上导出了相应结果。
论文部分内容阅读
本文肯定地回答了胡庆平(1987)提出的“拟可换BCK-代数类是BCK-代数类的真子类吗?或存在一个BCK-代数,使得它不是拟可换的吗?”问题。并在BCI-代数上导出了相应结果。
其他文献
近年来随着通用航空快速发展,通航事故也逐渐增多,2008年到2017年通航事故数和事故征候数每年总体呈上升趋势,特别是2016年通航事故数达到23起,事故征候数达到25起,通航安全
麻醉是果蝇实验中最基本的操作,乙醚是最常用的麻醉剂。但因为乙醚是二类易制毒化学品而被国家控制使用。报道一种容易获得的试剂——乙酸乙酯对果蝇的麻醉效果。实验采用的
当代社会,经济科技的发达,使得国民生活质量不断上升,快节奏的生活让人们对交通提出了更高的要求。而航空交通因为其速度快等优势逐渐成为主流交通工具,一个良好地管制习惯的
深圳北理莫斯科大学主楼塔尖为类哥特式尖塔造型,施工时存在塔尖安装过程中施工精度难控制、吊装质量大、安装高度大、施工范围狭小、安全风险大及工期紧张等难题,通过筛选多
胃肠道息肉指黏膜隆起局限性增生而形成的肿物,按部位可分为食管、胃、十二指肠、小肠及大肠息肉,以结肠、直肠为主要发病部位。胃肠道息肉属癌前病变,不同病理类型的息肉癌变率
在文[1]中,作者王能华老师对一道三角问题的解答进行了认真的思考,纠正了其中的“错误”.但是笔者在仔细研读后产生了一些不同的想法,现向文[1]作者和感兴趣的老师汇报如下.1
有效减少和抑制维修差错的发生,对维护航空安全、提升飞机使用效率具有重要意义。如何针对飞机维修有效识别和控制维修差错,是当代飞机维修面临的主要难题。因此,本文在总结
目的探究分析红系增生明显活跃的骨髓增生异常综合征的临床特点。方法将有核红细胞按照比例1划分,而骨髓成熟的红细胞按照20比例划分,两者之间以≤20:1来进行比例划分,其中非
<正>日前召开的上海市民政工作会议提出,2019年,在养老服务领域,上海将继续大力发展"嵌入式"养老,以社区养老为前提,做实街镇社区综合为老服务中心,整合各类为老服务资源,在
随着我国城市化进程的不断推进,住宅小区的建设规模不断扩大,数量不断增多。住宅小区业主与物业公司之间的矛盾也随之增多,成立业主委员会可以有助于解决业主与物业之间产生