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.
