Peter Schroeder-Heister
(2000-2009)
XLorenzen'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