GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Dag Prawitz
URI:
https://gptkb.org/entity/Dag_Prawitz
GPTKB entity
Statements (22)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Stockholm_University
gptkbp:awardReceived
gptkb:Rolf_Schock_Prize_in_Logic_and_Philosophy
gptkbp:birthDate
1936-08-28
gptkbp:birthPlace
gptkb:Stockholm
gptkbp:doctoralAdvisor
gptkb:Anders_Wedberg
gptkbp:employer
gptkb:Stockholm_University
gptkbp:field
gptkb:logic
gptkb:philosophy
https://www.w3.org/2000/01/rdf-schema#label
Dag Prawitz
gptkbp:knownFor
proof theory
natural deduction
gptkbp:memberOf
gptkb:Norwegian_Academy_of_Science_and_Letters
gptkb:Royal_Swedish_Academy_of_Sciences
gptkbp:nationality
Swedish
gptkbp:notableWork
gptkb:Natural_Deduction:_A_Proof-Theoretical_Study
gptkbp:occupation
gptkb:logic
gptkb:philosopher
gptkb:professor
gptkbp:bfsParent
gptkb:Logician
gptkb:Logicians
gptkbp:bfsLayer
6