论文部分内容阅读
s代数是与格上三角余模相关的一种代数.以s代数概念为基础,对其性质进行了讨论,并给出了它与其他逻辑代数间的关系,证明了s代数是一个Heyting代数.最后讨论了 s代数构成BL代数的充要条件,从而为研究不同的逻辑代数以及它们之间的关系奠定了一定的理论基础.
s代数的性质
【摘 要】
：
s代数是与格上三角余模相关的一种代数.以s代数概念为基础,对其性质进行了讨论,并给出了它与其他逻辑代数间的关系,证明了s代数是一个Heyting代数.最后讨论了 s代数构成BL代
【机 构】
：
陕西师范大学,西安财经学院
【出 处】
：
纺织高校基础科学学报
【发表日期】
：
2004年期
其他文献
小热休克蛋白(sHSP)是热休克蛋白家族中的成员,具有α晶体蛋白结构域,呈现出不同的亚细胞定位,在细胞内发挥着不同的功能.目前,在哺乳动物中证实存在至少10种不同的sHSP.作为
将凸函数的UV-分解理论推广到正常凸函数,借助于凸分析中的凸集、凸锥以及回收锥的相关性质,得到对应于正常凸函数的空间分解和U-Lagrange函数及其性质,并将其应用于一般凸规
给出了以第一类Chebyshev多项式的零点为插值结点组的Grünwald插值多项式在加权Lp范数下收敛速度的一个估计.
弱凝胶是由低浓度的聚合物和交联剂形成的、以分子间交联为主及分子内交联为辅的、粘度在100～3 000 mPa·s之间,具有三维网络结构的弱交联体系.分别从螯合理论、离子水化理论
投放虚假危险物质罪是《刑法修正案三》针对恐怖犯罪活动猖獗的新形势规定的新罪名。2009年新疆“针刺事件”发生后,利用投放虚假危险物质来制造社会恐怖的犯罪时有发生,引起
In this paper, we extend the generalized multiresolution analysis (GMRA)to higher dimensional spaces. The GMRA is generalized from each ladder space expanded by
对于机械工程中的关键承载构件,较为准确的评定其服役期间疲劳可靠度对机械结构的安全运行是非常必要的.常规Miner法则存在一些实际问题,认为谱载下构件疲劳过程是一个典型的
为研究统计分布中(X),M0与Me间的关系,通过对文献[3]中一个关系式的分析,用积分的方法推导出了(X),M0与Me间的关系式为Me-(X)=1/3(M0-Me).这是一个新的关系式.
For a finite group G, let S(G) be the set of minimal subgroups of odd order of G which are complemented in G. It is proved that if every minimal subgroup X of o
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7