Structural induction in institutions

We develop a general logic-independent structural induction proof method at the level of abstract institutions. This provides a solid and uniform mathematical foundation to induction proof methodologies for a wide variety of actual logic-based formal specification frameworks. Our development is based technically upon an axiomatic approach to substitutions within institution theory.

Authors

• Răzvan Diaconescu

Keywords

• Structural induction
• Institution theory
• Algebraic specification