Dag Prawitz

From MaRDI portal
Person:383063

Available identifiers

zbMath Open prawitz.dagDBLP86/173WikidataQ3011853 ScholiaQ3011853MaRDI QIDQ383063

List of research outcomes





PublicationDate of PublicationType
The validity of inference and argument2024-10-01Paper
On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning2022-06-03Paper
Paul Weingartner and Hans-Peter Leeb, eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics2022-04-22Paper
The Concepts of Proof and Ground2020-08-10Paper
Explaining Deductive Inference2020-02-04Paper
A Short Scientific Autobiography2020-02-04Paper
The seeming interdependence between the concepts of valid inference and proof2020-01-17Paper
The fundamental problem of general proof theory2019-05-15Paper
https://portal.mardi4nfdi.de/entity/Q31193492019-03-11Paper
A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic2017-09-27Paper
Is there a general notion of proof?2017-07-11Paper
Truth and proof in intuitionism2015-06-05Paper
An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited2015-05-22Paper
Truth as an epistemic notion2015-03-27Paper
The epistemic significance of valid inference2013-11-25Paper
In memoriam: Michael Dummett (1925--2011)2013-07-11Paper
https://portal.mardi4nfdi.de/entity/Q49038072013-01-27Paper
Proofs verifying programs and programs producing proofs: a conceptual analysis2010-01-11Paper
Meaning approached via proofs2006-08-18Paper
https://portal.mardi4nfdi.de/entity/Q42470221999-12-13Paper
https://portal.mardi4nfdi.de/entity/Q37205981985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41920551979-01-01Paper
Meaning and proofs: on the conflict between classical and intuitionistic logic1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41096551975-01-01Paper
On the idea of a general proof theory1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41030781974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32126891972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56325541971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56131981970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56131731970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40795881970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56722141969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55815921968-01-01Paper
Hauptsatz for higher order logic1968-01-01Paper
Completeness and Hauptsatz for second order logic11967-01-01Paper
A note on existential instantiation1967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55592201965-01-01Paper
An improved proof procedure11960-01-01Paper
A Mechanical Proof Procedure and its Realization in an Electronic Computer1960-01-01Paper

Research outcomes over time

This page was built for person: Dag Prawitz