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
2008
in: Deduction, computation, experiment, Dordrecht : Springer
The significance of philosophical logic
1999
in: In search of a new humanism, Dordrecht : Springer
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