方程逻辑Institution理论及其性质

• 作者: 刘富春
• 来源期刊: 材料研究与应用
• 关键词: 程序规程 抽象模型论 方程逻辑可满足性条件 范畴论
• 年，卷（期）: 2005,（1）
• 页码范围: 61-64
• 页数: 4页
• 分类号: TP301|O141
• 语种: 中文
• DOI: 10.3969/j.issn.1673-9981.2005.01.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学应用数学学院	49	235	10.0	14.0