Fuzzy模态逻辑及其基础系统

引进一个集合与其真子集元素个数之比较的概念 ,对Fuzzy模态命题α A的语义给出了严格的定义。在模态逻辑语言中添加Fuzzy模态算子α 和α ◇ ,建立Fuzzy模态逻辑。文中讨论了基础Fuzzy模态逻辑系统。