Dag Prawitz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2019

The Fundamental Problem of General Proof TheoryDag Prawitz. sLogica, 107(1):11-29, 2019. [doi]

2016

On the Relation Between Heyting's and Gentzen's Approaches to MeaningDag Prawitz. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 5-25, Springer, 2016. [doi]

2012

The epistemic significance of valid inferenceDag Prawitz. synthese, 187(3):887-898, 2012. [doi]

Truth and Proof in IntuitionismDag Prawitz. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 45-67, Springer, 2012. [doi]

2007

Logical Consequence From a Constructivist Point of ViewDag Prawitz. In Stewart Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford handbooks in philosophy, pages 671-695, Oxford University Press, 2007.

2006

Meaning Approached Via ProofsDag Prawitz. synthese, 148(3):507-524, 2006. [doi]

1996

PrefaceJaakko Hintikka, Dag Prawitz. synthese, 106(1):1, 1996. [doi]

1994

Meaning and experienceDag Prawitz. synthese, 98(1):131-141, 1994. [doi]

1993

Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of ScienceDag Prawitz, Dag Westerståhl. APAL, 63(1):1, 1993.

1968

Hauptsatz for Higher Order LogicDag Prawitz. JSYML, 33(3):452-457, 1968.

1967

A Note on Existential InstantiationDag Prawitz. JSYML, 32(1):81-82, 1967.

1960

A Mechanical Proof Procedure and its Realization in an Electronic ComputerDag Prawitz, Haåkan Prawitz, Neri Voghera. JACM, 7(2):102-128, 1960. [doi]

Sign in or sign up to see more results.

runs on WebDSL