Abstract. We give short proofs of two descriptions given by Šemrl of order automorphisms of the effect algebra. This sheds new light on both formulas that look quite complicated. Our proofs rely on Molnár's characterization of order automorphisms of the cone of all positive operators.
AMS Subject Classification
operator monotone function
Received November 15, 2017, and in revised form January 13, 2018. (Registered under 8/2018.)