区间值模糊命题逻辑的最大子代数及其广义重言式  

The Largest Subalgebra and Its Generalized Tautology in Interval Valued Fuzzy Propositional Logic

作　　者：陈图云[1] 张宇卓[1] 廖士中[2] 

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

出　　处：《模糊系统与数学》2003年第2期106-108,共3页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目 (6 99730 19)

摘　　要：将 S-型蕴涵算子改为 R0 -蕴涵算子 ,从而找到区间值模糊逻辑 I[0 ,1]的一个最大子代数 IQ,进而将王国俊教授在逻辑系统 W中的广义重言式理论推广应用到 IQ 中。In this paper, we find out the largest subalgebra I Q in Interval Valued Fuzzy Logic I by modifying the original S-implication into R 0-implication, and generalize professor Wang Guo-jun's theory about generalized tautology into I Q.

关 键 词：区间值逻辑代数 模糊命题逻辑 最大子代数 广义重言式 蕴涵算子 

分 类 号：O141[理学—数学] O153[理学—基础数学]