论文部分内容阅读
The Semigroup Characterizations of Positive Implicative BCK—algebras
【机 构】
：
Department,of
【出 处】
：
数学季刊：英文版
【发表日期】
：
1998年3期
【基金项目】
：
.NULL.
其他文献
多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑，特别是真值基于格上的多值逻辑，文献「１」提出并提建立了格蕴涵代数这一逻辑代数结构，进而研究了对应的格
ＯｎｔｈｅＭｅａｎＶａｌｕｅｏｆｔｈｅＩｎｆｉｎｉｔｅＯｒｄｅｒＬｅｇｅｎｄｒｅＳｅｒｉｅｓＷａｎｇＡｎｂｉｎ（ＤｅｐｔｏｆＭａｔｈ．，ＹｕｅｙａｎｇＴｅａｃｈｅｒｓＣｏｌｌｅｇｅ．４１４０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｓｔｕｄ...
20世纪90年代以来，国家法与民间法的冲突与整合问题为不少学者所关注。学界对“民间法”的定义争议较大，但就国家法而言，学者们普遍认同国家法印为国家制定的法律的说法。文章以
基于可拓集合的基本原理提出了网络物元概念,通过网络行为关联函数建立了风险诊断模型和风险预警模型。文章指出,网络行为安全属性可以划分为安全属性、风险属性和威胁属性,
本文在[1]的基础上研究了实四元数矩阵的数值半径。得到了关于数值半径幂的不等式。C-数值半径的不等式也给出了。因此我们推广了曹重光教授的结果。
天铁轧二制钢有限公司于2004年前后成功研制开发了英标BS4449—1988 GR 460级别钢筋、符合加拿大CSA G30.18-M92标准要求的400W级别钢筋及符合美国ASTMA615 GR 60级别钢筋。
假释是刑法规定的对判处徒刑的犯罪分子附条件予以提前释放的一项重要的刑罚执行制度，对犯罪人适用假释体现了我国改造罪犯的政策和法律精神。目前我国的假释制度的监督考察无
孕激素能有效的降低由雌激素替代治疗所致的子宫内膜癌的发生危险.但孕激素对脂质和糖代谢可能产生不利影响,增加冠心病的发生,而且绝经后妇女使用雌激素、孕激素是否减少患
司法鉴定是指在诉讼活动中侦查、检察、审判机关依法委托鉴定机构或具备鉴定资格的专业人员,对专门性问题所作的认定或判断。司法鉴定在司法审判工作中发挥着重要作用。然而