论文部分内容阅读
在本文引入有条件（DS），从而证明了有界关联DCK－代数与合正关联BCK－代数是一致的。
有条件（DS）的BCK—代数
【摘 要】
：
在本文引入有条件（DS），从而证明了有界关联DCK－代数与合正关联BCK－代数是一致的。
【机 构】
：
浙江大学数学系
【出 处】
：
纯粹数学与应用数学
【发表日期】
：
2000年3期
其他文献
目的探讨分析左氧氟沙星联合阿奇霉素治疗难治性呼吸道感染的临床疗效。方法 94例呼吸道感染患者,将其随机分为治疗组和对照组,各47例。治疗组应用左氧氟沙星联合阿奇霉素治
试验以东北细毛羊母羔羊为研究对象，分别探究了不同体重及超排激素和剂量不同对幼羔卵泡发育和体外成熟的影响。结果：体重在4．0～5．0kg的母羔对超排激素反应最敏感p〈〈0．05），而5．0～9．0kg
最近热映的警匪剧《寒战》和动画片《大鱼海棠》票房都不错，评分也挺高。翻看豆瓣会发现，关于《少年派的奇幻漂流》《我的个神啊》等片的评论，可能远比讨论《寒战》《大鱼海棠》，更接近现代性这个话题。不过我还是想从《寒战》和《大鱼海棠》说起。《寒战》表面上是一部警匪片，内核里隐含着更多政治斗争及法治路径。《大鱼海棠》在网上被黑得一塌糊涂，这部片子表面上是爱情题材，或许导演想表达的，其实是个人自由与族群利益话
1目前吉林省肉用羊饲养的主要地方品种 上溯到2006年，我省原有的吉林细毛羊已逐渐消失，吉林大部分地区养殖户及养殖场所饲养的基础母羊几乎是由小尾寒羊与吉林细毛羊杂交的后代
高校机关党的建设是高校党建工作的重要组成部分,也是高校落实“立德树人”根本任务的坚实保障,加强新时代高校机关党建工作要准确把握特点规律和内涵要求,以党的政治建设为
先给出了一类圆型域上的全纯函数的积分表示,然后在一定条件下给出了相应的Carleman公式
目的 探讨急性冠状动脉（冠脉）综合征（ACS）的心电图（ECG）变化规律及心电图联合心肌标志物在其临床诊治中的应用意义。方法 160例ACS患者随机分为STEMI（ST段抬高型心肌梗死）组74例和NST
目的 观察并分析推拿针灸与中药联合疗法在面瘫治疗中的应用效果。方法 136例面瘫患者,将其随机分为观察组与对照组,各68例。两组均进行推拿针灸临床治疗,在此基础上,观察组
对Ｈｅｉｓｅｎｂｅｒｇ群Ｈｎ上重ｓｕｂ－Ｌａｐｌａｃｅ算子的特征值问题Ｌ２ｕ＝λｕ，在Ω中，ｕ＝ｕγ＝０，在Ω上，讨论了特征值的估计，这里ΩＨｎ为有界域，具分片光滑边界，γ为Ω的单位外法向量．