%0 Journal Article
%T extendedif逻辑的命题演算系统
%A 许文艳？
%J 软件学报
%P 2278-2285
%D 2015
%R 10.13328/j.cnki.jos.004705
%X extendedif逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于cirquent演算方法,给出了一个关于cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使extendedif逻辑在命题水平得到了真正意义上的公理化.
%K cirquent演算
%K 可计算性逻辑
%K extended
%K if逻辑
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4705&flag=1