The logical framework model is a tool used in the management for the purpose of designing and monitoring the development of projects. It is also known as goal-oriented project planning, and objects oriented project planning with some variations to the logical framework approach.
The framework was developed in 1969 by the US Agency for International development. The logical framework approach developed on the basis of theworldwide study conducted by Leon J. Rosenberg. More than 30 countries adopted the method by Rosenberg.
The logical framework defines logic as a signature of a higher order theory in a way that provability of the logic reduces to inhabitation in the frameworktheory. Automated theorem proving is using logical framework approach. Automath was the first logical framework known as Edinburgh Logical Framework. The logical framework approach allocates several logics to be involved in the similar system. It is based on the generalization of syntax, rules, and proofs.
By providing the following one, can describe the logical framework:
- Characterization of the class of logic
- A meta-language
- Mechanism for logic representation