%0 Journal Article
%T g3逻辑中的弱合取范式
%J 计算机科学
%D 2007
%X 本文为g3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式，并给出两种范式化简算法：一种是通过公式刻画反模型的语义方法；另一种为基于重写翻译的语法方法。文章最后证明，在g3逻辑中对任意公式做弱合取范式化简不存在多项式算法。
%K 弱合取范式g3逻辑范式化简计算复杂性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=24412192&flag=1