%0 Journal Article
%T 直觉模糊集时态逻辑算子及扩展运算性质
%A 雷英杰 王宝树？
%J 计算机科学
%D 2005
%X 首先在考察atanassov直觉模糊集的基本运算的基础上．引入两个典型的作用于直觉模糊集的时态逻辑算子“□(always)”和“◇(sometimes)”，重点研究了直觉模糊集在直觉模糊时态逻辑算子作用下的若干扩展运算及其性质。最后，将这些运算性质归结为一组定理，并给出详细的证明过程。
%K 直觉模糊集算子运算性质证明过程基本运算定理时态逻辑归结扩展
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=11813240&flag=1