【摘 要】
：
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的
论文部分内容阅读
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的观点,讨论了基础R0-代数与BL代数,基础L*系统与BL系统之间的相互关系及相对独立性,讨论了基础L*系统关于基础R0-代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L*系统的扩张,最后作为基础R0-代数与基础L*系统的一个应用,证明了L*系统关于语义ΩW的完备
其他文献
<正>A C*-system is a pair(B,G)consisting of a unital C*-algebra B and a continuotts group
为了阐明＂海蜇-缢蛏-牙鲆-中国对虾＂混养池塘生态系统的结构和功能特征,并为不同养殖模式的碳循环研究和发展低碳渔业提供参考,于2013年5—10月对辽宁丹东东港地区（N 39°51
2017年12月2日至6日，“联合国环境科学一政策．商业论坛（UNScience．Policy—BusinessForumontheEnvironment”和“2017联合国环境大会（UNEnvironmentalAssembly）”在肯尼亚首都内罗
<正> 茶叶香气是决定茶叶品质与风味的重要因素。自Romburg等从茶叶中检测出甲醇和水杨酸甲醇开始,有关茶叶香气的研究日渐深入。60年代后,随着微量分析技术的提高和仪器设备
华北油田二连公司试行星级培训制度的调查李国志１９９２年，中国石油天然气总公司和华北石油管理局把二连公司定为综合改革试点单位，要求他们按照＂两新两高＂原则和＂油公司＂模式，把二连公司建
本文给出了R为m-fold稳定环的若干充分必要条件,证明了整闭整环的Kronecker函数环为m-fold稳定环.进一步地,得到了左(右)拟DUO替换环为m-fold稳定环的条件.
【正】集中交易为证券公司在节约成本、规范管理和业务创新等各方面均带来了诸多优势,我公司作为业内业务及技术创新方面均处于前沿的券商,在大集中的基础上又进一步开发了风
<正> 本分场有茶园2000余亩,采茶高峰期劳动力严重不足,导致粗采、乱采现象严重,影响鲜叶质量和茶叶经济效益的提高。在此情况下,我分场从1988年起开始局部试行机采,进而全面
浅谈农业银行转变为商业银行后的职教工作农业银行承德分行王建军农业银行经营机制的转换，必然使其职工教育工作出现新情况、新要求，从而有必要对此进行研讨。笔者在此就这一问
迁西县乡镇企业职工知识结构分析和对策张淑莲十多年来，乡镇企业做为一种新的生力军，在国民经济和社会发展中占有举足轻重的地位。它的兴起和壮大，是中国农民的Ａｌｌ学，是中国在村千百