首页 | 本学科首页   官方微博 | 高级检索  
     

对扩展树证明的可靠性与完全性的简化证明(英文)
引用本文:李大法. 对扩展树证明的可靠性与完全性的简化证明(英文)[J]. 清华大学学报(自然科学版), 1987, 0(6)
作者姓名:李大法
作者单位:应用数学系
摘    要:本文对扩展树给出一个不同的证明.它的长度比起Miller的证明要简短得多,而且改正了 Miller证明中的某些错误。

关 键 词:扩展树  归结  配对  定理证明  高阶逻辑

Simple Proofs for Soundness and Relative Completeness for ET-Proofs
Li Dafa. Simple Proofs for Soundness and Relative Completeness for ET-Proofs[J]. Journal of Tsinghua University(Science and Technology), 1987, 0(6)
Authors:Li Dafa
Affiliation:Department of Applied Mathematics
Abstract:In this paper a different and simple proof for expansion tree is given, the length of the proof is much less than that in Miller's paper, and some errors in Miller's paper are corrected.
Keywords:expansion tree   resolution   mating   theorem proving   higher order logic.
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号