%0 Journal Article
%T Lawvere Theorem in Institution of Regular Order-Sorted Equational Logic and Initial (Terminal) Semantics for Its Glued Theories<br>正则序类逻辑Institution的Lawvere定理及其初始与终结语义
%A LIU Fu-Chun
%A <br>刘富春
%J 软件学报
%D 2005
%I 
%X 主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere定理;(3) 讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义.
%K algebraic semantics
%K programming specification
%K abstract model theory
%K category theory<br>代数语义学
%K 程序规范说明
%K 抽象模型论
%K 范畴论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1025C1EFC87CA9E6&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=DF92D298D3FF1E6E&sid=C698B4DF5D56174F&eid=B169842BD52221DD&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=15