![122276](/images/creator/_default.jpg)
Peter Schroeder-Heister
Atomic systems in proof-theoretic semantics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
The categorical and the hypothetical
2012
Synthese 187/3
![Open Access Link](/images/OAlink.png)
2011
Deutsches Jahrbuch Philosophie 2
14th Congress of logic, methodology and philosophy of science
2010
Philosophia Scientiae 14/1
![Open Access](/images/book.png)
Lorenzen's operative justification of intuitionistic logic
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Validity concepts in proof-theoretic semantics
2006
Synthese 148/3
![Open Access Link](/images/OAlink.png)
Frege's permutation argument revisited
2005
Synthese 147/1
![Open Access Link](/images/OAlink.png)