蕴涵BCK—代数的伴随半群

来源 :松辽学刊:自然科学版 | 被引量 : 0次 | 上传用户:XIONGSHENG0
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文证明了蕴涵BCK-代数的伴随半群是一个上半格,进一步证明了有界蕴涵BCK-代数的伴随半群是一个Boolean代数。
其他文献
重型颅脑损伤病人的特点是损伤重、昏迷时间长、并发症多。2005年1月-2006年7月我科共收治此类病人80例。现将其消化道护理体会报道如下。
本文对物理真空的概念进行了描述,并论述了物理真空的概念对物理学的发展所做出的贡献,同时探讨了随着对物理真空本质的揭示,由其产生的物理难题都将不同程度地获得解决。
本文介绍了计算机辅助教学“练习与辅导系统”的研制理论、设计方法和步骤。
乙型肝炎是严重危害人类健康的传染病,我国是乙型肝炎高发区,据统计,我国人群乙型肝炎表面抗原(HBsAg)携带率约10%,乙型肝炎病毒(HBV)感染约60%。已有的研究证实,HBV可通过多途径传播,我
随着经济的发展和社会的变革,高等职业教育已成为我国高等教育的一个重要组成部分。高职护理教育是为临床输送护理人才的主要途径,为适应素质培养和创新教育为主导特征的高职教
结核性脑膜炎是由结核杆菌引起的脑膜和脊髓膜的非化脓性炎症。近年来,结核性脑膜炎的发病率有增加的趋势,已成为神经系统感染性疾病中的常见病,病死率及致残率较高。抗结核药是
本文报道了采自东北的胶毛藻科植物5属7种,全部为东北新记录,其中Cloniophora macrocladia Nordst,Draparnaldiopsis salishensis Prescott为中国新记录。
[目的]探讨预告式护理教学查房在临床中的应用。[方法]采用预告式与讨论式双向交流,通过制作幻灯充实查房内容,以问题、讨论、指导、考核和现场评价相结合。查房过程做到查房前
护士是基层护理工作的具体实施者,面对医疗体制改革和护理事业发展的要求,需具备创新意识、市场竞争意识、优质服务意识、集体意识、协作精神。
本文介绍一种频率合成器的单片机控制系统,阐述了该系统的工作原理,给出了其硬件电路,并对软件作了说明。