Extended IF逻辑的命题演算系统

来源：软件学报杂志2015年第9期北京时间：

作者：许文艳

单位：许文艳，西安电子科技大学 数学与统计学院, 陕西 西安 71007111

摘要：Extended IF 逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent 演算方法,给出了一个关于Cirquent 语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使Extended IF 逻辑在命题水平得到了真正意义上的公理化.

关键词：Cirquent演算;可计算性逻辑;Extended IF逻辑

基金资助：国家自然科学基金(61303030); 中央高校基本科研业务费(K5051370023); 国家留学基金