Non-commutative classical arithmetical sequent calculi are intuitionistic
scientific article; zbMATH DE number 6997960