%0 Journal Article
%T CATEGORICAL EQUIVALENCE ON HORN LOGIC AND GENERALIZATION OF THE METHOD<br>Horn逻辑上的范畴等价及方法推广
%A Wang Huaimin
%A <br>王怀民
%J 软件学报
%D 1993
%I 
%X 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.
%K 范畴等价
%K Horn逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E7449C56035967938857CB4B43EE0984&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=38B194292C032A66&sid=ECE8E54D6034F642&eid=1AE5323881A5ECDC&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=3