| Publication | Date of Publication | Type |
|---|
The aim and validity of inference and argument
Theoria | 2026-08-06 | Paper |
| The interdependence between the concepts of valid inference and proof revisited | 2025-11-17 | Paper |
| The validity of inference and argument | 2024-10-01 | Paper |
On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
Paul Weingartner and Hans-Peter Leeb, eds, <i>Kreisel’s Interests: On the Foundations of Logic and Mathematics</i>
Philosophia Mathematica | 2022-04-22 | Paper |
The concepts of proof and ground
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
A Short Scientific Autobiography
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
Explaining deductive inference
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
The seeming interdependence between the concepts of valid inference and proof
Topoi | 2020-01-17 | Paper |
The fundamental problem of general proof theory
Studia Logica | 2019-05-15 | Paper |
| scientific article; zbMATH DE number 7034416 (Why is no real title available?) | 2019-03-11 | Paper |
A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic
Gentzen's Centenary | 2017-09-27 | Paper |
| Is there a general notion of proof? | 2017-07-11 | Paper |
Truth and proof in intuitionism
Epistemology versus Ontology | 2015-06-05 | Paper |
An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited
Trends in Logic | 2015-05-22 | Paper |
Truth as an epistemic notion
Topoi | 2015-03-27 | Paper |
The epistemic significance of valid inference
Synthese | 2013-11-25 | Paper |
In memoriam: Michael Dummett (1925--2011)
The Bulletin of Symbolic Logic | 2013-07-11 | Paper |
| scientific article; zbMATH DE number 6130986 (Why is no real title available?) | 2013-01-27 | Paper |
Proofs verifying programs and programs producing proofs: a conceptual analysis
Deduction, Computation, Experiment | 2010-01-11 | Paper |
Meaning approached via proofs
Synthese | 2006-08-18 | Paper |
| scientific article; zbMATH DE number 1301804 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 3950526 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3630747 (Why is no real title available?) | 1979-01-01 | Paper |
Meaning and proofs: on the conflict between classical and intuitionistic logic
Theoria | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532927 (Why is no real title available?) | 1975-01-01 | Paper |
On the idea of a general proof theory
Synthese | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3525106 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3425153 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358455 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3497871 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3335879 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3335934 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3407195 (Why is no real title available?) | 1969-01-01 | Paper |
Hauptsatz for higher order logic
Journal of Symbolic Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3299687 (Why is no real title available?) | 1968-01-01 | Paper |
A note on existential instantiation
Journal of Symbolic Logic | 1967-01-01 | Paper |
Completeness and Hauptsatz for second order logic1
Theoria | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3275554 (Why is no real title available?) | 1965-01-01 | Paper |
An improved proof procedure1
Theoria | 1960-01-01 | Paper |
A Mechanical Proof Procedure and its Realization in an Electronic Computer
Journal of the ACM | 1960-01-01 | Paper |
