论文部分内容阅读
证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的.
格蕴含代数与有界交换BCK—代数
【摘 要】
：
证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的.
【机 构】
：
黎明大学计算机系
【出 处】
：
龙岩师专学报
【发表日期】
：
2003年3期
其他文献
为了解入出人员中性传播疾病的感染情况。应用梅毒诊断的血清学方法进行检测。检出潜伏期梅毒8例，均采取相应的卫生检疫措施。防止了性传播疾病的蔓延。
目的：了解止血方法在前置胎盘剖宫产术中的应用。方法：将80例前置胎盘剖宫产术中大出血患者随机分为三组进行观察,A组予以碘伏纱条宫腔填塞,B组予以双侧子宫动脉上行支结扎,C组
面对后现代高科技社会的文学表征危机,美国当代作家诺曼·梅勒积极探索并尝试新的表现策略,创作了美国历史上几个不同凡响的人物的传记,其中最典型的是影星玛莉琳·梦露、杀
散粒体道床层的循环累积变形是有砟轨道沉降的主要来源,文章采用有砟轨道路基模型试验来研究道砟层与底砟层间布置土工格栅加固道床控制有砟轨道沉降,开展了高速和重载等不同
一、引言自PPP模式推广以来,各类环保企业纷纷进场,市场一片繁荣,生态环保类PPP项目数量和规模一直在财政部PPP管理库在库项目中处于前列。然而,自2017年国家开始规范管理PPP
东营市职工大额医疗救助与基本医疗保险同步建立、同步缴费、单独筹资、同步报销,在减轻参保人员医疗费用负担方面发挥了积极作用。但也存在保障门槛较高、政策辐射面较窄,医