
References
Dag Prawitz
The epistemic significance of valid inference
2012
Synthese 187/3

Truth and proof in intuitionism
2012
in: Epistemology versus ontology, Dordrecht : Springer

Proofs verifying programs and programs producing proofs: a conceptual analysis
2008
in: Deduction, computation, experiment, Dordrecht : Springer

Meaning approached via proofs
2006
Synthese 148/3

The significance of philosophical logic
1999
in: In search of a new humanism, Dordrecht : Springer

Meaning and experience
1994
Synthese 98/1

Dummett on a theory of meaning and its impact on logic
1987
in: Michael Dummett, Dordrecht : Springer

Some remarks on verificationistic theories of meaning
1987
Synthese 73/3

Philosophical aspects of proof theory
1981
in: Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Dordrecht : Springer
