###
DOI:
Journal of Software:2005.16(7):1205-1209

正则序类逻辑Institution的Lawvere定理及其初始与终结语义
刘富春
(广东工业大学,应用数学学院,广东,广州,510090)
Lawvere Theorem in Institution of Regular Order-Sorted Equational Logic and Initial (Terminal) Semantics for Its Glued Theories
LIU Fu-Chun
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3005   Download 2559
Received:March 29, 2004    Revised:January 07, 2005
> 中文摘要: 主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere定理;(3) 讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义.
Abstract:The following three conclusions are found: (1) By regular order-sorted theory morphism being deduced to many-sorted theory morphism, both model functors ( )·and ( )# being commutative with φ have been proved; (2) Lawvere theorem in Institution of regular order-sorted equational logic is presented; (3) The correspondence among initial (terminal) semantics of glued theories and factor theories in Institution of regular order-sorted equational logic is clarified.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the Youth Foundation of Guangdong University of Technology under Grant No.042027 (广东工业大学青年基金) Supported by the Youth Foundation of Guangdong University of Technology under Grant No.042027 (广东工业大学青年基金)
Foundation items:
Reference text:

刘富春.正则序类逻辑Institution的Lawvere定理及其初始与终结语义.软件学报,2005,16(7):1205-1209

LIU Fu-Chun.Lawvere Theorem in Institution of Regular Order-Sorted Equational Logic and Initial (Terminal) Semantics for Its Glued Theories.Journal of Software,2005,16(7):1205-1209