次协调的模态逻辑

Paraconsistent Modal Logic

将次协调模糊推理方法推广到模态逻辑，提出次协调的模态逻辑，其逻辑推理关系是次协调模糊蕴含的模态推广，既可处理不一致信息，又可表示多世界模型．给出了次协调模态逻辑的正确而且完备的Ｇｅｎｔｚｅｎ型推理系统．

Generalize the methods of paraconsistent fuzzy reasoning into modal logic, propose a paraconsistent modal logic, whose logical consequence is a modal extension of a paraconsistent fuzzy implication, which has the abilities of both handling inconsistency and representing multi world modals, and present its sound and complete Gentzen style inference system.