Peter Schroeder-Heister
Atomic systems in proof-theoretic semantics: two approaches
2016
with Piecha Thomas
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics![Open Access Link](images/OAlink.png)
2012
Synthese 187/3
![Open Access Link](images/OAlink.png)
Schluß und Umkehrschluß: Ein Beitrag zur Definitionstheorie
2011
Deutsches Jahrbuch Philosophie 2
Lorenzen's operative justification of intuitionistic logic![Open Access Link](images/OAlink.png)
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Validity concepts in proof-theoretic semantics![Open Access Link](images/OAlink.png)
2006
Synthese 148/3
![Open Access Link](images/OAlink.png)