适用于程序规范说明的Institution范畴的完备性研究

作     者：刘富春 Liu Fuchun

作者机构：广东工业大学应用数学学院广州510090 

基　　金：广东省自然基金(编号:020146 031541) 广东工业大学青年基金 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2005年第41卷第7期

页      码：64-66页

摘      要：Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用。论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解。这为大规模程序设计中模块化程序的安全分解和调用提供了一定的逻辑支持。首先,根据基调类范畴中的极限r:SignD ,构造了一个Institution&,讨论了&中的一些性质,特别是闭包引理和表示定理;然后又建立了Institution范畴Ins中相应的极限r:&D,得到了遗忘函子U:Ins→Sig反射极限的重要结论,从而推广了Sign:Th→Sign反射余极限的关键性结果;最后给出了Ins的完备性定理。

主 题 词：程序设计语言 程序规范说明 模型论 范畴论 

学科分类：07[理学] 08[工学] 0835[0835] 0701[理学-数学类] 081202[081202] 070101[070101] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2005.07.023

馆 藏 号：203371850...