Formal and material consequence
scientific article; zbMATH DE number 575589