关于交换BCK链

来源 :福建师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:klsslove520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在BCK-代数中引进连通覆盖的概念,证明了Jordan-Holder-Dedekind定理与维数定理,并指出:一个有界交换BCK-代数是Artin的当且仅当它是Noether的。
其他文献
前言  近年来,随着电子商务的蓬勃发展,第三方支付作为其中的重要环节已经成为人们生活中使用率较高的交易方式。但随之产生的资金安全、信息安全、网络安全等问题也给人们在使用过程中带来了不小的问题,这就要求采取一定的防范措施使相关群体的利益受到保护。  一、第三方支付产生的背景分析  在电子商务这一虚拟的无形市场中,交易双方互不认识,不知根底,卖家不愿先发货,怕货发出后不能收回货款;买家不愿先支付,担心
摘要:本文首先对基层单位开展党的群众路线教育实践活动的原则进行分析,并在此基础上对教育实践活动的有效开展提出了几点意见,以期能够进一步深化群众路线的理论研究。  关键词:基层单位;教育实践活动;思考  深入开展党的群众路线教育实践活动,对于全面解决党员作风问题、开展批评和自我批评、建立与促进党员干部务实清廉的长效机制具有积极作用。另一方面,基层单位也可以从习总书记的讲话精神中将我党长期以来坚持群众
摘 要:贸易法与竞争法作为当今世界经济发展的两大法律支柱,其正在发挥着巨大作用,且这种作用是不可替代的。随着经济全球化和跨国公司的发展,对上述法律的适用也提出了国际化的要求。于是在享有“经济联合国”之称的世界贸易组织(WTO)的带动和倡导下,出现了一些新的贸易工具。包括《与贸易有关的知识产权协议》(TRIPS),《与贸易有关的投资措施协议》(TRIMS),《服务贸易总协定》(GATS),以及《基础
目的:探讨参麦注射液对胸外科手术患者补体水平的干预作用。方法:选取2012年3月至2018年3月四川大学华西医院收治的拟行胸外科手术患者96例,以随机数字表法分为观察组和对照
目的:探讨阿奇霉素联合孟鲁司特钠治疗小儿支原体肺炎的疗效及对血清C反应蛋白(CRP)水平的影响。方法:选取2013年1月—2016年12月河南科技大学第一附属医院收治的小儿支原体肺炎
介绍在网络上多用户数据库的应用开发中,如何预防或尽量减少因共享网络服务器上的数据库资源而引起的冲突及冲发生后的处理方法。
摘 要:随着社会经济发展,旅游业日益成为拉动消费的支柱型产业。然而,激烈的市场竞争催生了变相损害游客利益等一系列不容忽视的问题。本文就低价旅游团产生的强制消费、旅游服务标准降低等现象进行讨论,并在法律层面提出意见和建议。  关键词:低价旅行团;欺诈;法律问题  近期发生了内地游客在香港被殴致死事件,香港旅游业议会此前表示,涉事旅行团疑涉低价游。“不合理低价”旅游团再度引起关注。不合理低价游是旅行社
在沉淀碳酸钙生产过程中直接乾入性获得一种新型改性沉淀碳酸钙,在天然橡胶中的应用表明它具有明显的补强作用和硫化促进效果。
摘 要:现代管理体系中很重要的一点就是法治政府,国家治理方面现代化的要求就是法治政府为主要内容,简政放权对全面深化改革和转变政府职能的作用很有效果,通过简政放权为转变政府职能起到了关键作用,通过制定新的法律法规使得转变政府职能的效果法制化从而促进法治政府建设。  关键词:简政放权;法治政府  “法无授权不可为、法无禁止皆可为、法定责任必须为”正是我国加快政府职能转变、简政放权,打造法治政府的生动诠
以漳浦县大南坂农场下楼村为实例,依据可持续农业论题和土地景观生态设计理论,采用地理信息系统(GIS)与决策支持系统(DSS)集成的策略.建立了一个用户界面友好、输出形象直观、能处理空间决