Initial Logic and Induction in Algebraic Specification

The initial truth refers to those properties which are valid in
initial models. In this paper we show how the initial
truth can be organized as an institution and introduce a
valid inference rule system with which we can develop proofs by induction
in this logic.

Sidebar