正则序类逻辑Institution的Lawvere定理及其初始与终结语义

• 作者: 刘富春
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 代数语义学 程序规范说明 抽象模型论 范畴论
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1205-1209
• 页数: 5页
• 分类号: TP301
• 字数: 4716字
• 语种: 中文

摘要

主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere定理;(3) 讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义.

作者信息

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