Gentzen-style purely implicational system
scientific article; zbMATH DE number 940717