| 摘要: |
| 将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正确而且完备的Gentzen型推理系统. |
| 关键词: 模态逻辑，次协调逻辑，模糊逻辑，Gentzen型推理系统. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金、国家攀登计划基金和国家教委博士点基金资助. |
|
| Paraconsistent Modal Logic |
|
CHENG Xiao-chun,SUN Ji-gui,JIANG Yun-fei
|
| Abstract: |
| 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. |
| Key words: Modal logic, paraconsistent logic, fuzzy logic, Gentzen system. |
