论文部分内容阅读
证明文[3]中的若干定理的交换性要求可以去掉.主要结论是:若X是有界BCK代数,D是X的对偶理想,一定存在从DI(X,D)到DI(XD)的一一对应
关于 BCK-代数中对偶理想的一个定理(英文)
【摘 要】
：
证明文[3]中的若干定理的交换性要求可以去掉.主要结论是:若X是有界BCK代数,D是X的对偶理想,一定存在从DI(X,D)到DI(XD)的一一对应
【机 构】
：
浙江大学数学系
【出 处】
：
纯粹数学与应用数学
【发表日期】
：
1999年4期
其他文献
证明了一个因式相通定理,它是奇点理论中等价性定理的一个推广.这个定理表明单纯高阶项的开折对普适开折因式相通中的参数映射没有贡献.据此本文提出了一种因式相通中参数映
猪流感属于急性传染病,特点是发病急、传播快,主要症状为发热、上呼吸道炎症。该病虽然不会造成大面积猪群死亡,但可以对种猪正常生长产生影响,给养殖户带来一定经济损失,所
研究了两类距离边界条件域KBc和jBc,得到了它们的若干性质及它们的关系,证明了在一定条件下KBc和jBc是拟共不变的以及距离K(x1,x2)和j(x1,x2)在Mobius变换下具有拟不变性.
给出了实方阵为广义对角占优阵的充要条件，同时给出了判断广义对角占优阵可靠，可行，较简单方法。
研究了一个奇异非线性二阶微分方程的Neumann边值问题，通过摄动技巧和比较原理得到了所论问题解的存在唯一性。
讨论了一类非守恒相场模型解的性态，证明当ａ２ｐ － １ ＜ ０ 及初值充分大时解在有限时刻 ｂｌｏｗ ｕｐ．
目的观察奥洛他定联合地塞米松滴眼液治疗激素依赖性春季角结膜炎（VKC）的临床疗效和安全性。方法 VKC患者60例采用地塞米松点眼1周后随机分为三组,每组20例,组1、2、3分别采用
和龙市为加强和龙市无公害畜产品认证企业的监管，8月2日，组织无公害畜产品检查员对全市11家无公害畜产品认证企业开展检查工作，严格排查质量安全隐患，确保我市畜产品质量安全。
现阶段,我国家禽饲养业发展迅速,为我国经济发展提供了重要推动力,但是在实际养殖过程中,家禽容易出现多种疾病,严重影响其健康生长,甚至会导致大量死亡。并且近年来存在病毒
提出了一类修正的近似点算法并讨论了算法的收敛性质及其Ｂｕｄｌｅ变形的收敛性质。