Horn逻辑上的范畴等价及方法推广

微信服务号

微信订阅号

首页 > 过刊浏览>1993年第4卷第3期 >42-44

Horn逻辑上的范畴等价及方法推广
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

CATEGORICAL EQUIVALENCE ON HORN LOGIC AND GENERALIZATION OF THE METHOD

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_HT,其态射是保真关系,另一个范畴是Herbrand解释范畴C_HB,范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。

Abstract:

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.

参考文献

相似文献

引证文献

引用本文

王怀民. Horn逻辑上的范畴等价及方法推广.软件学报,1993,4(3):42-44

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1990-02-19
最后修改日期:1991-04-05
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码