排序方式: 共有1条查询结果,搜索用时 8 毫秒
1
1.
常识推理基础逻辑系统M的完全性 总被引:1,自引:0,他引:1
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的. 相似文献
1