ANALOGY CALCULUS

作     者：YI, B XU, JF 

作者机构：Institute of Computer Software Nanjing University Nanjing 210008 People's Republic of China 

出 版 物：《THEORETICAL COMPUTER SCIENCE》 (理论计算机科学)

年 卷 期：1993年第113卷第2期

页      面：211-230页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Correspondence to: Bo Yi  Institute Republic of China. *Work supported by the National 

主　　题：Computation theory 

摘      要：An analogy calculus (LK(A)) is proposed in this paper. Some important theorems, such as cut-elimination, interpolation, are proved. The model semantics of LK(A) is also proposed. Based on LK(A), analogy is defined as equivalence-provable in LK(A) from an analogy correspondence.