%0 Journal Article
%T 次协调的模态逻辑
%A 姜云飞
%A 孙吉贵
%A 程晓春
%J -
%D 1998
%X 将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正确而且完备的Gentzen型推理系统
%K 模态逻辑
%K 次协调逻辑
%K 模糊逻辑
%K Gentzen型推理系统.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19981107&flag=1