A consecutive calculus for positive relevant implication with necessity
elimination theorem for a generalized cut rule
scientific article; zbMATH DE number 3700792