g3逻辑中的弱合取范式

本文为g3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式，并给出两种范式化简算法：一种是通过公式刻画反模型的语义方法；另一种为基于重写翻译的语法方法。文章最后证明，在g3逻辑中对任意公式做弱合取范式化简不存在多项式算法。