摘要
讨论粗集代数与IMTL代数的关系以及由粗集代数构造IMTL-代数的方法.借助近似代数数上的原子及同余关系,验证了在合理选择蕴涵算子→及补运算~之后,粗集代数就构成了IMTL-代数.
IMTL-algebra is an important non-classical logic algebra. The relation between rough set and IMTL algebra is studied, and the method of constructing IMTI algebra from rough set algebra is presented. Based on the atoms and congruence relations of approximation algebra, it is proved that rough set algebra becomes IMTL algebra if proper implication → and complement operators - are selected.
出处
《西南民族大学学报(自然科学版)》
CAS
2009年第6期1136-1138,共3页
Journal of Southwest Minzu University(Natural Science Edition)
基金
国家自然科学基金(No.60474022)
关键词
粗集
粗集代数
剩余格
IMTL-代数
rough set
rough set algebra
residuated lattice IMTL algebra