D. Prawitz

发表

Natural Deduction: A Proof-Theoretical Study

D. Prawitz, 1965 .

Ideas and Results in Proof Theory

D. Prawitz, 1971 .

Proofs and the Meaning and Completeness of the Logical Constants

D. Prawitz, 1979 .

Comments on gentzen-type procedures and the classical notion of truth

D. Prawitz, 1975 .

A Mechanical Proof Procedure and its Realization in an Electronic Computer

Dag Prawitz, Haåkan Prawitz, Neri Voghera, 1960, JACM.

Meaning and proofs: on the conflict between classical and intuitionistic logic

D. Prawitz, 2008 .

Proofs as Acts and Proofs as Objects : Some questions for

D. Prawitz, 2007 .

Classical versus intuitionistic logic

D. Prawitz, 2015 .

Harmonising Natural Deduction HartleySlater

D. Prawitz, 2010 .

Logic and Philosophy of Science in Uppsala Papers From the 9th International Congress of Logic, Methodology and Philosophy of Science

Dag Westerståhl, Dag Prawitz, D. Prawitz, 1994 .

Validity of Inferences

D. Prawitz, 2013 .

Explaining Deductive Inference

Dag Prawitz, D. Prawitz, 2015 .

The Seeming Interdependence Between the Concepts of Valid Inference and Proof

D. Prawitz, 2019 .

Proofs and Perfect Syllogisms

D. Prawitz, 2011 .

Pragmatist and Verifactionist Theories of Meaning

D. Prawitz, 2007 .

A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic

D. Prawitz, 2015 .

A Note on Kanger’s Work on Efficient Proof Procedures

D. Prawitz, 2001 .

Commentary by the Author and Corrections

D. Prawitz, 1983 .

Inference and knowledge

D. Prawitz, 2009 .

Logical Consequence From a Constructivist Point of View

Dag Prawitz, D. Prawitz, 2007, The Oxford Handbook of Philosophy of Mathematics and Logic.

Remarks on some approaches to the concept of logical consequence

Dag Prawitz, D. Prawitz, 1985, Synthese.

Truth as an Epistemic Notion

D. Prawitz, 2012 .

Truth and Proof in Intuitionism

Dag Prawitz, D. Prawitz, 2012, Epistemology versus Ontology.

Truth as an Epistemic Notion

D. Prawitz, 2011, Topoi.

The epistemic significance of valid inference

Dag Prawitz, D. Prawitz, 2011, Synthese.

The epistemic significance of valid inference

D. Prawitz, 2012, Synthese.

Towards A Foundation of A General Proof Theory

Dag Prawitz, D. Prawitz, 1973 .

Meaning Approached Via Proofs

Dag Prawitz, D. Prawitz, 2006, Synthese.

Quine and verificationism

D. Prawitz, 1994 .

Dummett on a Theory of Meaning and Its Impact on Logic

Dag Prawitz, D. Prawitz, 1987 .

On the idea of a general proof theory

Dag Prawitz, D. Prawitz, 1974, Synthese.

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

Dag Prawitz, D. Prawitz, 2016, Advances in Proof-Theoretic Semantics.

An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

Dag Prawitz, D. Prawitz, 2014 .

Logical Determinism and the Principle of Bivalence

D. Prawitz, 2009 .

An improved proof procedure1

Dag Prawitz, D. Prawitz, 2008 .

The Fundamental Problem of General Proof Theory

Dag Prawitz, D. Prawitz, 2019, Stud Logica.

Philosophical aspects of proof theory

Dag Prawitz, D. Prawitz, 1981 .

Some Results for Intuitionistic Logic with Second Order Quantification Rules

Dag Prawitz, D. Prawitz, 1970 .

A survey of some connections between classical, intuitionistic and minimal logic

Dag Prawitz, D. Prawitz, Per-erik Malmnäs, 1968 .

A note on existential instantiation

Dag Prawitz, D. Prawitz, 1967, Journal of Symbolic Logic.

Intuitionistic Logic: A Philosophical Challenge

Dag Prawitz, D. Prawitz, 1980 .

Natural Deduction: A Proof-Theoretical Study

D. Prawitz, 1965 .

The Seeming Interdependence Between the Concepts of Valid Inference and Proof

D. Prawitz, 2017, Topoi.

A proof procedure with matrix reduction

Dag Prawitz, D. Prawitz, 1970 .