Dag Prawitz

Dag Prawitz (born 1936, ) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.

Prawitz is a member of the Norwegian Academy of Science and Letters, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.

...
Wikipedia