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