|
软件学报 2015
extendedif逻辑的命题演算系统DOI: 10.13328/j.cnki.jos.004705, PP. 2278-2285 Keywords: cirquent演算,可计算性逻辑,extended,if逻辑 Abstract: extendedif逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于cirquent演算方法,给出了一个关于cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使extendedif逻辑在命题水平得到了真正意义上的公理化.
|