摘要
本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_(HT),其态射是保真关系,另一个范畴是Herbrand解释范畴C_(HB),范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。
According to the idea of categorical equivalence, we discuss a categorical equivalence on Horn logic. The method of categorical equivalence could be treaded as a method to describe semantics of meta-level operation. We generalize the method.
出处
《软件学报》
EI
CSCD
北大核心
1993年第3期42-44,共3页
Journal of Software