论文部分内容阅读
本文是文［１］的继续。本文讨论了关联算子代数的ＢＣＫ代数特征。
BCK代数与关联算子代数
【摘 要】
：
本文是文［１］的继续。本文讨论了关联算子代数的ＢＣＫ代数特征。
【机 构】
：
云南师大数学系
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
1996年3期
其他文献
在一般光度测定中，所测吸光度均未考虑仪器色散、狭缝宽度、象差、线曲率等因素的影响，因此测定结果均偏离了真正的吸收光谱强度，本文利用拉姆赛建议的公式计算真正的积分吸光强
本文提出按“水平—垂直迭加地带性”与“地理景观学—农业生产”原则划分了云南省的热量带，给出了新的热量带的界线、范围
竹子种植在扬中市已有300多年的种植历史。竹子是扬中“三大宝”之一，扬中市家家户户，房前屋后，秀竹环抱，农户曾亲切地把竹园比作“哑巴儿子”、“小银行”。全市现有竹园面积近4
我国各地区林业部门从经济效益、生态建设等方面出发，对营林管理进行了积极地改革与发展并取得了一定的成果。但是，由于资本投入不够、专业人员缺乏、管理技术不成熟、制度不健
在建筑事业全面发展的今天,建筑施工安全管理措施的分析十分重要。其能够使得整体施工管理的效率得到显著性的提升,在进行整体性的安全管理中,需要利用多种不同的方法让施工
作为电力系统中重要的一员,电力高压试验变压器能够显著提高电力系统运行的稳定性以及安全性。因此,为了确保电力系统更加高效的运行,就需要对电力高压试验中变压器的控制技
本文提出并设计实现获取用户需求信息的工具－面向对象语义实体联系模型，同时研究此模型实现有的关技术；
近几年来,市场经济的快速发展给现代烟草业带来了许多变化,随着烟草农业建设改革的进一步推进,南雄市的烟叶生产力水平也得到了大幅提升,烟叶生产组织模式也不断发展。通过调