摘要
在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中，研究了理论与模型的一些性质，特别是得到了理论的闭包定理和与之相应的模型的闭包定理．
Some properties of theory and model are studied in the general frameInstitution. Especially, closure theorems of theory and model are obtained.
出处
《广东工业大学学报》
CAS
1998年第1期83-86,共4页
Journal of Guangdong University of Technology
关键词
程序规范说明
抽象模型论
范畴论
programming specification
abstract model theory
category theoy
