Advances in natural deduction : A Celebration of Dag Prawitz's Work.