A Mechanical Proof Procedure and its Realization in an Electronic Computer. - Dag Prawitz; Haåkan Prawitz; Neri Voghera (J. ACM, 1960)

A Note on Existential Instantiation. - Dag Prawitz (J. Symb. Log., 1967)

Hauptsatz for Higher Order Logic. - Dag Prawitz (J. Symb. Log., 1968)

Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science. - Dag Prawitz; Dag Westerståhl (Ann. Pure Appl. Log., 1993)

Meaning and experience. - Dag Prawitz (Synth., 1994)

Preface. - Jaakko Hintikka; Dag Prawitz (Synth., 1996)

Meaning Approached Via Proofs. - Dag Prawitz (Synth., 2006)

Logical Consequence From a Constructivist Point of View. - Dag Prawitz (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)

The epistemic significance of valid inference. - Dag Prawitz (Synth., 2012)

Truth and Proof in Intuitionism. - Dag Prawitz (Epistemology versus Ontology, 2012)

On the Relation Between Heyting's and Gentzen's Approaches to Meaning. - Dag Prawitz (Advances in Proof-Theoretic Semantics, 2016)

The Fundamental Problem of General Proof Theory. - Dag Prawitz (Stud Logica, 2019)

The Interdependence Between the Concepts of Valid Inference and Proof Revisited. - Dag Prawitz (Perspectives on Deduction, 2024)