Advances in natural deduction : a celebration of Dag Prawitz's work - Pereira, Luiz Carlos; Haeusler, Edward Hermann; De Paiva, Valeria (Trends in logic. Studia logica library,, 2014)