Dag Prawitz

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

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.

Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Prawitz, Dag', query time: 0.01s Refine Results
  1. 1
    Natural deduction : a proof-theoretical study
    by Prawitz, Dag
    Published 2006
    Other Authors: “…Prawitz, Dag…”
    Book
  2. 2
    Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science
    Published 1994
    Other Authors: “…Prawitz, Dag…”
    Book
  3. 3
    Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
    Published 1994
    Other Authors: “…Prawitz, Dag…”
    Book

Search Tools: