逻辑框架是一种设计、计划和评价的方法。
目前有三分之二的国际组织把它作为援助项目的计划、管理和评价方法。
在类型论中，逻辑框架提供了定义(或表示)逻辑的一种方式。
逻辑框架基于了通过有依赖类型的lambda 演算方式的对语法、规则和证明的一般性处理。
语法按类似于但更一般性的Per Martin-Löf文章中的系统的风格来处理。
