On a fragment of the implicative propositional calculus
scientific article; zbMATH DE number 3115112