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

作者：刘富春代数语义学程序规范说明抽象模型论范畴论

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社