|
|||||
|
|
| “不用归纳的归纳证明”与相对完备性 | |
| 引用本文： | 林惠民.“不用归纳的归纳证明”与相对完备性[J].科学通报,1989,34(13):1027-1027. |
| 作者姓名： | 林惠民 |
| 作者单位： | 中国科学院软件研究所 北京 |
| 摘 要： | 一、引言 一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完 |
| 关 键 词： | 抽象数据 完备性 归纳证明 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |