Formal Reasoning System Based on Fuzzy Propositional Modal Logic

• 基于模糊命题模态逻辑的形式推理系统