%0 Journal Article
%T “不用归纳的归纳证明”与相对完备性
%A 林惠民
%J 科学通报
%P 1027-1027
%D 1989
%X 一、引言一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完
%K 抽象数据类型
%K 代数描述
%K 相对完备性
%K 不用归纳的归纳证明
%U http://csb.scichina.com:8080/CN/abstract/abstract359181.shtml