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

摘要

将 S-型蕴涵算子改为 R0 -蕴涵算子 ,从而找到区间值模糊逻辑 I[0 ,1]的一个最大子代数 IQ,进而将王国俊教授在逻辑系统 W中的广义重言式理论推广应用到 IQ 中。