![125750](https://sdvigpress.org/images/creator/_default.jpg)
References
Dag Prawitz
The epistemic significance of valid inference![Open Access Link](images/OAlink.png)
2012
Synthese 187/3
![Open Access Link](images/OAlink.png)
Truth and proof in intuitionism![Open Access Link](images/OAlink.png)
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Proofs verifying programs and programs producing proofs: a conceptual analysis![Open Access Link](images/OAlink.png)
2008
in: Deduction, computation, experiment, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Meaning approached via proofs![Open Access Link](images/OAlink.png)
2006
Synthese 148/3
![Open Access Link](images/OAlink.png)
The significance of philosophical logic![Open Access Link](images/OAlink.png)
1999
in: In search of a new humanism, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Meaning and experience![Open Access Link](images/OAlink.png)
1994
Synthese 98/1
![Open Access Link](images/OAlink.png)
Dummett on a theory of meaning and its impact on logic![Open Access Link](images/OAlink.png)
1987
in: Michael Dummett, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Some remarks on verificationistic theories of meaning![Open Access Link](images/OAlink.png)
1987
Synthese 73/3
![Open Access Link](images/OAlink.png)
Philosophical aspects of proof theory![Open Access Link](images/OAlink.png)
1981
in: Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Dordrecht : Springer
![Open Access Link](images/OAlink.png)