Fuzzy模态逻辑及其基础系统

Fuzzy Modal Logic and Its Basic Systems

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

In this paper,the concept of comparisons between numbers of members of one set and its proper subsets is introduced and the exact definition of semantics for fuzzy modal logic is established by adding some fuzzy modal operators α and α -◇ to modal logic.Basic systems of fuzzy modal logic are discussed.