 In reaction to Barzin and Errera, who had argued that Brouwer’s logic was three-valued and moreover that this led to it being inconsistent, Valerii  Glivenko[22]  in 1928 set out to prove them wrong by formal means. He gave the following list of axioms for intuitionistic propositional logic: