| Publication | Date of Publication | Type |
|---|
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, Kreisel’s Interests: On the Foundations of Logic and Mathematics
Philosophia Mathematica | 2022-04-22 | Paper |
The concepts of proof and ground
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Explaining deductive inference
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
A Short Scientific Autobiography
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 3335934 (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 3497871 (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 |
scientific article; zbMATH DE number 3299687 (Why is no real title available?)
| 1968-01-01 | Paper |
Hauptsatz for higher order logic
Journal of Symbolic Logic | 1968-01-01 | Paper |
Completeness and Hauptsatz for second order logic1
Theoria | 1967-01-01 | Paper |
A note on existential instantiation
Journal of Symbolic Logic | 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 |
