Title: Die Folgebeziehungen in Halbformalismen