论文部分内容阅读
随着新句法机制的引入,逻辑图的表达能力不断得到提高:文恩图在表达能力上等价于不带等词的一元一阶逻辑,蜘蛛图等价于带等词的一元一阶逻辑,而建立在约束图基础上的“可视一阶逻辑”被证明具有一阶谓词逻辑的表达能力。研究逻辑图表达能力的一个重要意义在于.图式逻辑可能有望为一阶逻辑产生重要的可判定片段。