逻辑模型架用以定义逻辑的类型系统，在爱丁保逻辑框架ＥＬＦ（Ｅｄｉｎｂｕｒｇｈ ｌｏｇｉｃａｌ ｆｒａｍｅ－ｗｏｒｋ）和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点一身的新型逻辑框架......

逻辑类型理论讨论具有独立逻辑内核的类型系统，本文在对逻辑类型理论一般原则扣讨论及一些著名逻辑类型系统的分析的基础上加入提出......