论文部分内容阅读
首先给出直觉模糊S-广粗集的基本概念，在直觉模糊S-粗集基本运算的基础上，引入两个典型的作用于直觉模糊S-粗集的时态逻辑算子“□（always）”和“◇（sometimes）”，重点研究了直觉模糊S-粗集在时态逻辑算子作用下的若干扩展运算及其性质。最后将这些性质归结为定理，并给出详细的证明过程。