积封闭论文

固定点逻辑和积封闭的关系分析
论文摘要标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑...