CATEGORICAL EQUIVALENCE ON HORN LOGIC AND GENERALIZATION OF THE METHOD
Horn逻辑上的范畴等价及方法推广

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.