Dag Prawitz

Available identifiers

zbMath Open prawitz.dagWikidataQ3011853 ScholiaQ3011853MaRDI QIDQ383063

List of research outcomes

Publication	Date of Publication	Type
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
A Short Scientific Autobiography	2020-02-04	Paper
Explaining Deductive Inference	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
https://portal.mardi4nfdi.de/entity/Q5271409	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/Q4079588	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613173	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613198	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672214	1969-01-01	Paper
Hauptsatz for higher order logic	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5581592	1968-01-01	Paper
A note on existential instantiation	1967-01-01	Paper
Completeness and Hauptsatz for second order logic1	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dag Prawitz