%0 Journal Article
%T 标记逻辑的tableau判定过程
%A 程晓春？
%A 刘叙华？
%J 软件学报
%P 698-705
%D 1996
%X 标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单调的，在前提一致时等价于经典逻辑的推理关系，但缺少有效的证明论．本文将给出推理关系和｜≈基于ｔａｂｌｅａｕ演算的可靠而且完备的判定方法.
%K 标记逻辑
%K tableau方法
%K 择优蕴涵
%K 次协调逻辑
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19961109&flag=1