ダグ・プラウィッツ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/05 17:35 UTC 版)
ダグ・プラウィッツ(Dag Prawitz、1936年5月16日 - )は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている[1][2]。ストックホルム生まれ。
- ^ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell
- ^ Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4
- ^ “Gruppe 3: Idéfag” (Norwegian). Norwegian Academy of Science and Letters. 2011年1月16日閲覧。
- ^ Academia Europaea:Dag Prawitz
- 1 ダグ・プラウィッツとは
- 2 ダグ・プラウィッツの概要
- ダグ・プラウィッツのページへのリンク