 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
程晓春,孙吉贵,姜云飞.次协调的模态逻辑.软件学报,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阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|