Peter Schroeder-Heister
Atomic systems in proof-theoretic semantics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
2015
Philosophia Scientiae 19/1
2014
Philosophia Scientiae 18/3
The categorical and the hypothetical
2012
Synthese 187/3
2011
Deutsches Jahrbuch Philosophie 2
14th Congress of logic, methodology and philosophy of science
2010
Philosophia Scientiae 14/1
Lorenzen's operative justification of intuitionistic logic
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
2006
Synthese 148/3
Validity concepts in proof-theoretic semantics
2006
Synthese 148/3
Frege's permutation argument revisited
2005
Synthese 147/1