Janssen, T. M. On the Interpretation of IF Logic. Proceedings of the AC 1999, 139-144.