强完全性相关论文
该文讨论中介命题逻辑系统的强完全性，证明了中介命题逻辑系统MP和扩展系统MP是强完全的。由此表明，MP与MP.既是一般完全的亦是强完......
本文在两个相对弱化的假设条件H1*和H2*下，系统地研究了两种合理性指标、两种正规性指标以及强完全合理性指标之间的关系. 首先，......
布尔模态（即模态生成算子补、交、并）涉及到了完全性问题。并模态是模态可定义的，但是补和交都不是。这意味着证明包含这三个模态的逻......
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征，即程序的不协调性。在标准的模态逻辑证明系统中，真值引理指在典范模型的世......
形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系.通过强完全性概念研究两种......
在公理系统中演绎定理是连接一致性和协调性的桥梁。对于带演绎定理的公理系统，可以证明公式集的一致性和协调性是等价的。在不带演......
经典逻辑是建立在封闭世界预设的基础上的，但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研究开放世界的逻辑过程中给......
