Dag Prawitz

Available identifiers

zbMath Open prawitz.dagDBLP86/173WikidataQ3011853 ScholiaQ3011853MaRDI QIDQ383063

List of research outcomes

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	2022-06-03	Paper
Paul Weingartner and Hans-Peter Leeb, eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics	2022-04-22	Paper
The Concepts of Proof and Ground	2020-08-10	Paper
Explaining Deductive Inference	2020-02-04	Paper
A Short Scientific Autobiography	2020-02-04	Paper
The seeming interdependence between the concepts of valid inference and proof	2020-01-17	Paper
The fundamental problem of general proof theory	2019-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q3119349	2019-03-11	Paper
A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic	2017-09-27	Paper
Is there a general notion of proof?	2017-07-11	Paper
Truth and proof in intuitionism	2015-06-05	Paper
An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited	2015-05-22	Paper
Truth as an epistemic notion	2015-03-27	Paper
The epistemic significance of valid inference	2013-11-25	Paper
In memoriam: Michael Dummett (1925--2011)	2013-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4903807	2013-01-27	Paper
Proofs verifying programs and programs producing proofs: a conceptual analysis	2010-01-11	Paper
Meaning approached via proofs	2006-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4247022	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q3720598	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192055	1979-01-01	Paper
Meaning and proofs: on the conflict between classical and intuitionistic logic	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109655	1975-01-01	Paper
On the idea of a general proof theory	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103078	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3212689	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632554	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613198	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613173	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4079588	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672214	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5581592	1968-01-01	Paper
Hauptsatz for higher order logic	1968-01-01	Paper
Completeness and Hauptsatz for second order logic1	1967-01-01	Paper
A note on existential instantiation	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5559220	1965-01-01	Paper
An improved proof procedure1	1960-01-01	Paper
A Mechanical Proof Procedure and its Realization in an Electronic Computer	1960-01-01	Paper

Research outcomes over time

This page was built for person: Dag Prawitz