有界蕴涵BCK代数的伴随半群

来源 :陕西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:kelukeke
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
引用偏序半群中剩余的概念,对有界蕴涵BCK-代数X的伴随半群M(X)作了详细讨论,证明了M(X)是一个有补格,模格,进一步证明了M(X)是一个Heyting代数。
其他文献
目的对比分析副鼻窦CBCT与MSCT成像质量及辐射剂量,探讨CBCT检查副鼻窦疾病可行性。方法选择60例受检者,随机分为CBCT组与MSCT组各30例,比较两组受检者图像质量评分与辐射剂
目的分析有效的健康教育在心脏介入导管室护理中的运用效果。方法收集本院2016年11月-2017年2月期间接受心脏介入性诊疗的48例患者作为研究对象,根据患者的健康教育方式将其
解析地研究了几个具有物理背景的非线性发展方程的孤立波解,通过选取初始条件结合直接积分方法求出了非线性Pochhammer-Chree方程、MRLW方程和SRLW方程及其推广,Zakharov0kuznetsov方程和Kadomtzev-Pitviashivili方程及其推广的显式精确孤立波解与
当前,我国建筑行业正在快速发展,土建工程是其中一项重要内容。现阶段,在土建施工现场存在施工不规范、缺乏对安全施工重视等几方面问题。基于此,本文提出了提高工作人员水平
采用跑台训练方式,建立了大鼠有氧运动和疲劳运动模型,运用免疫组织化学SABC法研究不同运动强度对大鼠肾脏皮质区nNOS、iNOS、eNOS和Bcl-2/Bax表达的影响.结果显示,与对照组比较,有
本文探讨数据库系统中数据加密的思想与方法。
会展描述:今年河南铁路建设投资计划达364.7亿元,包括郑徐客运专线等项目也将于年内陆续开工。大规模的铁路建设,将进一步巩固河南铁路在全国铁路路网中的枢纽地位。今年河南省铁
本文试图对配网自动化建设初始阶段的"选点"工作提供某种支持,尝试改变配网自动化建设"选点"工作的盲目性和随意性的现状,提高企业效益.