Title: Proof Theory and Algebra in Logic