  The idea of considering introduction rules as meaning-giving rules for atoms is closely related to the theory of inductive definitions in its general form, according to which inductive definitions are systems of rules (see Aczel, 1977).