Dag Prawitz

Orcid: 0000-0003-4183-715X

According to our database1, Dag Prawitz authored at least 13 papers between 1960 and 2024.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Interdependence Between the Concepts of Valid Inference and Proof Revisited.
Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2019
The Fundamental Problem of General Proof Theory.
Stud Logica, 2019

2016
On the Relation Between Heyting's and Gentzen's Approaches to Meaning.
Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2012
Truth and Proof in Intuitionism.
Proceedings of the Epistemology versus Ontology, 2012

The epistemic significance of valid inference.
Synth., 2012

2007
Logical Consequence From a Constructivist Point of View.
Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

2006
Meaning Approached Via Proofs.
Synth., 2006

1996
Preface.
Synth., 1996

1994
Meaning and experience.
Synth., 1994

1993
Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science.
Ann. Pure Appl. Log., 1993

1968
Hauptsatz for Higher Order Logic.
J. Symb. Log., 1968

1967
A Note on Existential Instantiation.
J. Symb. Log., 1967

1960
A Mechanical Proof Procedure and its Realization in an Electronic Computer.
J. ACM, 1960


  Loading...