描述逻辑fl0概念及术语公理集的表达能力刻画

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-vanbenthem刻画定理。文中给出了描述逻辑fl0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了fl0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与fl0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。