Dag Prawitz

Publication Activity (10 Years)

Years Active: 1960-2019
Publications (10 Years): 1

Top Topics

Decision Makers

Inference Process

Social Networks

Top Venues

Publications

Dag Prawitz
The Fundamental Problem of General Proof Theory. Stud Logica 107 (1) (2019)
Dag Prawitz
The epistemic significance of valid inference. Synth. 187 (3) (2012)
Dag Prawitz
Meaning Approached Via Proofs. Synth. 148 (3) (2006)
Jaakko Hintikka, Dag Prawitz
Preface. Synth. 106 (1) (1996)
Dag Prawitz
Meaning and experience. Synth. 98 (1) (1994)
Dag Prawitz, Dag Westerståhl
Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science. Ann. Pure Appl. Log. 63 (1) (1993)
Dag Prawitz
Hauptsatz for Higher Order Logic. J. Symb. Log. 33 (3) (1968)
Dag Prawitz
A Note on Existential Instantiation. J. Symb. Log. 32 (1) (1967)
Dag Prawitz, Haåkan Prawitz, Neri Voghera
A Mechanical Proof Procedure and its Realization in an Electronic Computer. J. ACM 7 (2) (1960)