| 对扩展树证明的可靠性与完全性的简化证明(英文) |
| |
| 引用本文： | 李大法. 对扩展树证明的可靠性与完全性的简化证明(英文)[J]. 清华大学学报(自然科学版), 1987, 0(6) |
| |
| 作者姓名： | 李大法 |
| |
| 作者单位： | 应用数学系 |
| |
| 摘 要： | 本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。
|
| 关 键 词： | 扩展树 归结 配对 定理证明 高阶逻辑 |
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 等数据库收录！ |
