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