检索结果-维普期刊中文期刊服务平台

扰动模糊逻辑I^2的最大子代数及其广义重言式被引量：9: 1; 作者陈图云韩莹廖士中《工程数学学报》 CSCD 北大核心 2003年第2期118-120,91,共4页; 运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统 W中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。; 关键词模糊逻辑扰动模糊逻辑逻辑代数广义重言式; 在线阅读下载PDF 职称材料

扰动模糊命题逻辑的代数结构及其广义重言式性质被引量：5: 2; 作者韩莹陈森发《高校应用数学学报（A辑）》 CSCD 北大核心 2005年第4期483-488,共6页; 着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.; 关键词模糊命题逻辑扰动模糊命题逻辑代数结构广义重言式; 在线阅读下载PDF 职称材料

有限扰动模糊命题逻辑系统的Σ-广义矛盾式: 3; 作者韩莹陈森发《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第5期824-828,共5页; 为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛... 展开更多; 关键词扰动模糊命题逻辑 ∑-广义矛盾式降级算法; 在线阅读下载PDF 职称材料