方程逻辑Institution理论及其性质

首页 > 过刊浏览>2005年第卷第1期 >

方程逻辑Institution理论及其性质
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:TP301，O141
基金项目:广东省自然科学基金(020146,031541)，广东工业大学校科研和教改项目(042027)

Institution of equational logic and its properties

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

在方程逻辑中,通过引入语句函子Eqn : Sign→Set和模型函子Alg : Sign→Catop ,得到了方程逻辑可满足性条件定理,从而建立了方程逻辑Institution理论,并进一步讨论了它的一些性质,得到了自由理论态射的复合也是自由理论态射等结论.

Abstract:

参考文献

相似文献

引证文献

引用本文

刘富春.方程逻辑Institution理论及其性质[J].材料研究与应用,2005,(1).

复制

文章指标

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

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期: 2020-04-26
出版日期:

引用本文

分享

文章指标

历史

文章二维码