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

摘要：

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

关键词：代数语义学、程序规范说明、抽象模型论、范畴论

所属期刊栏目：16

分类号：TP301(计算技术、计算机技术)

资助基金：广东工业大学校科研和教改项目042027

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1205-1209