On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation
axiomatization by means of a finite set of sequential rules of inference
scientific article; zbMATH DE number 3760135