Prawitz, Dag
Abstract Starting from formal considerations about natural deduction, Dag Prawtiz contributed in crucial ways to clarify the primarily epistemological character of proof theory. On these bases he developed an elaborated philosophical conception of deductive inference, truth and meaning. A partire…