Dag Prawitz

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

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2024

The Interdependence Between the Concepts of Valid Inference and Proof Revisited.

Dag Prawitz

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2019

The Fundamental Problem of General Proof Theory.

Dag Prawitz

Stud Logica, 2019

2016

On the Relation Between Heyting's and Gentzen's Approaches to Meaning.

Dag Prawitz

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2012

Truth and Proof in Intuitionism.

Dag Prawitz

Proceedings of the Epistemology versus Ontology, 2012

The epistemic significance of valid inference.

Dag Prawitz

Synth., 2012

2007

Logical Consequence From a Constructivist Point of View.

Dag Prawitz

Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

2006

Meaning Approached Via Proofs.

Dag Prawitz

Synth., 2006

1996

Preface.

Jaakko Hintikka, Dag Prawitz

Synth., 1996

1994

Meaning and experience.

Dag Prawitz

Synth., 1994

1993

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

Dag Prawitz, Dag Westerståhl

Ann. Pure Appl. Log., 1993

1968

Hauptsatz for Higher Order Logic.

Dag Prawitz

J. Symb. Log., 1968

1967

A Note on Existential Instantiation.

Dag Prawitz

J. Symb. Log., 1967

1960

A Mechanical Proof Procedure and its Realization in an Electronic Computer.

Dag Prawitz, Haåkan Prawitz, Neri Voghera

J. ACM, 1960