论文部分内容阅读
引用偏序半群中剩余的概念，对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论，证明了M（X）是一个有补格，模格，进一步证明了M（X）是一个Heyting代数。
有界蕴涵BCK代数的伴随半群
【摘 要】
：
引用偏序半群中剩余的概念，对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论，证明了M（X）是一个有补格，模格，进一步证明了M（X）是一个Heyting代数。
【机 构】
：
陕西师范大学数学系
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2000年4期
其他文献
目的对比分析副鼻窦CBCT与MSCT成像质量及辐射剂量,探讨CBCT检查副鼻窦疾病可行性。方法选择60例受检者,随机分为CBCT组与MSCT组各30例,比较两组受检者图像质量评分与辐射剂
目的分析有效的健康教育在心脏介入导管室护理中的运用效果。方法收集本院2016年11月-2017年2月期间接受心脏介入性诊疗的48例患者作为研究对象,根据患者的健康教育方式将其
解析地研究了几个具有物理背景的非线性发展方程的孤立波解，通过选取初始条件结合直接积分方法求出了非线性Ｐｏｃｈｈａｍｍｅｒ－Ｃｈｒｅｅ方程、ＭＲＬＷ方程和ＳＲＬＷ方程及其推广，Ｚａｋｈａｒｏｖ０ｋｕｚｎｅｔｓｏｖ方程和Ｋａｄｏｍｔｚｅｖ－Ｐｉｔｖｉａｓｈｉｖｉｌｉ方程及其推广的显式精确孤立波解与
当前,我国建筑行业正在快速发展,土建工程是其中一项重要内容。现阶段,在土建施工现场存在施工不规范、缺乏对安全施工重视等几方面问题。基于此,本文提出了提高工作人员水平
采用跑台训练方式，建立了大鼠有氧运动和疲劳运动模型，运用免疫组织化学SABC法研究不同运动强度对大鼠肾脏皮质区nNOS、iNOS、eNOS和Bcl-2／Bax表达的影响．结果显示，与对照组比较，有
会展描述：今年河南铁路建设投资计划达364．7亿元，包括郑徐客运专线等项目也将于年内陆续开工。大规模的铁路建设，将进一步巩固河南铁路在全国铁路路网中的枢纽地位。今年河南省铁