BCK代数与关联算子代数

来源 :云南师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:liuyongqing0820
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文是文[1]的继续。本文讨论了关联算子代数的BCK代数特征。
其他文献
在一般光度测定中,所测吸光度均未考虑仪器色散、狭缝宽度、象差、线曲率等因素的影响,因此测定结果均偏离了真正的吸收光谱强度,本文利用拉姆赛建议的公式计算真正的积分吸光强
本文提出按“水平—垂直迭加地带性”与“地理景观学—农业生产”原则划分了云南省的热量带,给出了新的热量带的界线、范围
竹子种植在扬中市已有300多年的种植历史。竹子是扬中“三大宝”之一,扬中市家家户户,房前屋后,秀竹环抱,农户曾亲切地把竹园比作“哑巴儿子”、“小银行”。全市现有竹园面积近4
我国各地区林业部门从经济效益、生态建设等方面出发,对营林管理进行了积极地改革与发展并取得了一定的成果。但是,由于资本投入不够、专业人员缺乏、管理技术不成熟、制度不健
无土栽培是现代化农业最先进的栽培技术,本文从樱桃番茄的特性、播种、育苗、定植、营养液管理、植株管理等出发,介绍了梅州樱桃番茄无土栽培技术。
在建筑事业全面发展的今天,建筑施工安全管理措施的分析十分重要。其能够使得整体施工管理的效率得到显著性的提升,在进行整体性的安全管理中,需要利用多种不同的方法让施工
作为电力系统中重要的一员,电力高压试验变压器能够显著提高电力系统运行的稳定性以及安全性。因此,为了确保电力系统更加高效的运行,就需要对电力高压试验中变压器的控制技
本文提出并设计实现获取用户需求信息的工具-面向对象语义实体联系模型,同时研究此模型实现有的关技术;
文章通过分析中国在违宪审查制度中的不足,并联系国外在违宪审查方面的成功经验,最终得出了建立特殊的行政机构。以完善违宪审查体系的建议。
近几年来,市场经济的快速发展给现代烟草业带来了许多变化,随着烟草农业建设改革的进一步推进,南雄市的烟叶生产力水平也得到了大幅提升,烟叶生产组织模式也不断发展。通过调