Lawvere Theorem in Institution of Regular Order-Sorted Equational Logic and Initial (Terminal) Semantics for Its Glued Theories
正则序类逻辑Institution的Lawvere定理及其初始与终结语义

Keywords: algebraic semantics,programming specification,abstract model theory,category theory
代数语义学,程序规范说明,抽象模型论,范畴论

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text