 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| 程晓春,孙吉贵,姜云飞.次协调的模态逻辑.软件学报,1998,9(11):833-838 |
| 次协调的模态逻辑 |
| Paraconsistent Modal Logic |
| 投稿时间：1997-04-04 修订日期：1997-11-05 |
| DOI： |
| 中文关键词: 模态逻辑，次协调逻辑，模糊逻辑，Gentzen型推理系统. |
| 英文关键词:Modal logic, paraconsistent logic, fuzzy logic, Gentzen system. |
| 基金项目:本文研究得到国家自然科学基金、国家攀登计划基金和国家教委博士点基金资助. |
|
| 摘要点击次数: 3433 |
| 全文下载次数: 2801 |
| 中文摘要: |
| 将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正确而且完备的Gentzen型推理系统. |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
