扰动模糊逻辑I^2的最大子代数及其广义重言式  

The Largest Sub-algebra and Its Generalized Tautology in Disturbing Fuzzy Propositional Logic

作　　者：陈图云[1] 韩莹[1] 廖士中[2] 

机构地区：[1]辽宁师范大学数学系,大连116029 [2]辽宁师范大学计算机系,大连116029

出　　处：《工程数学学报》2003年第2期118-120,91,共4页Chinese Journal of Engineering Mathematics

基　　金：国家自然科学基金资助项目(69973019).

摘　　要：运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统 W中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。This article applies R0implication and find the largest subalgebra in disturbing fuzzy propositional logic, then extends generalized tautological theory  on to IR. Put forwards concept of (μ,δ)tautology and proves there are only three generalized tautologies, which shows that we must add some restriction condition to generalize the theory of tautology about onedomensional evaluatoin latlile to twodomensional evaluation lattlie.

关 键 词：模糊逻辑 扰动模糊逻辑 逻辑代数 广义重言式 

分 类 号：O159[理学—数学]