Argumentation and algebraic proof