关于BCK-代数的次伪赋值

来源 :中央民族大学学报:自然科学版 | 被引量 : 0次 | 上传用户:xiaoxi21175
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了BCK-代数的次伪赋值的概念和性质.我们研究了次伪赋值和理想之间的联系.我们使用次伪赋值定义关于BCK-代数的次伪度量并且用此证明诱导同余关系.我们通过这种关系定义了商代数并证明了它也是一个BCK-代数.
其他文献
β-地中海贫血是我国常见的遗传性病之一,其发病特征可能存在种族和地域的差异性.本文分析探讨了β-地中海贫血的基因分子基础,并对广西壮族地区该病常见的基因类型:CD41/42、
素质教育是时代对教育的要求,新课程对初中数学的素质教育提出了新的要求,在数学教学中实施素质教育就要改变传统的教学模式,强化实践教育。
目的通过观察三维适形放疗和三维调强放疗对乳腺癌根治术后患者心肺受量的比较,为临床选择放疗方案提供参考依据。方法乳腺癌改良根治术后患者68例,随机分为对照组及观察组各
本文在嵌套空间结构下,提出了两类地理加权回归模型,对于其中的固定效应模型,我们给出了两步估计方法,对于随机效应模型,给出了一种有效的估计方法.
目的观察不同剂量咪唑安定诱导气管插管对老年高血压患者血流动力学的影响。方法40例术前合并高血压病的老年择期开胸肺部手术患者,按诱导期不同剂量咪唑安定随机分为两组,每组
2005年我校申报19个国家自然科学基金面上项目,经国家自然科学基金评审委员会组织专家评审、国家自然科学基金评审委员会审批,我校生命与环境科学学院共有3个面上项目通过审批
医疗设备从计划采购直到淘汰报废的整个过程中,存在着大量的资料、文书和形式多样的文字报告等。按照医疗设备档案的静态部分和动态部分的特点,制定相应的管理办法,并特别强调动
本文主要论述了陆气相互作用研究在人类生存环境与发展区域经济中的重要意义与研究现状,在原有的研究基础上,针对人口密度大的低丘红壤区,植被破坏,水土流失加剧,季节性干旱日趋严
商户是银行与客户接触的主要栽体之一,银行围绕客户的日常消费场景和金融服务需求建设商户体系,并通过商户资源开展全国性权益类活动落地、属地活动策划和品牌推广工作,以此