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