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