G3逻辑中的弱合取范式

摘要：

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

关键词：弱合取范式、G3逻辑、范式化简、计算复杂性

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60573009;贵州省省长基金2005;212

在线出版日期：2007-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：158-162