Dag Prawitz
Dag Prawitz (born 1936,
logician. He is best known for his work on proof theory and the foundations of natural deduction.[1][2]
Prawitz is a member of the
Royal Swedish Academy of Science
.
Prawitz was awarded the
Rolf Schock Prize
in Logic and Philosophy in 2020.
References
- ^ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell.
- ISBN 978-0-486-44655-4.
- ^ "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Archived from the original on 9 January 2015. Retrieved 16 January 2011.
External links