Concepedia

Dag Prawitz

DP

Statistics

Publications

19

Citations

1.2K

H-Index

16

Active since

1960

Affiliations

Stockholm University(Current)

Lund University

University of Oslo

Dag Prawitz is an author at Stockholm University specializing in humanities, philosophy, and logic.

ORCID

Publications per year

1960–2018

19

Publications

19

Meaning and proofs: on the conflict between classical and intuitionistic logic

Dag Prawitz · Theoria · 1977 · 245 citations

, , +10

On the idea of a general proof theory

Dag Prawitz · Synthese · 1974 · 182 citations

, , +6

An improved proof procedure1

Dag Prawitz · Theoria · 1960 · 182 citations

, , +6

Meaning Approached Via Proofs

Dag Prawitz · Synthese · 2006 · 123 citations

, , +9

Hauptsatz for higher order logic

Dag Prawitz · Journal of Symbolic Logic · 1968 · 87 citations

, , +9

1–5 of 19