%0 Journal Article
%T Horn逻辑上的范畴等价及方法推广
%A 王怀民
%J -
%D 1993
%X 本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴CHT,其态射是保真关系,另一个范畴是Herbrand解释范畴CHB,范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930308&flag=1