逻辑框架的语法、语用和语义

摘要

该文研究逻辑框架的范畴语义，给出逻辑框架模型论中一重要定理－－内范畴定理。