with Piecha, T. , 2016, Atomic systems in proof-theoretic semantics: two approaches, in J. Redmond, O. Martins & Ã. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 47-62.
with Bour, P. , Heinzmann, G. , Hodges, W. , 2015, 'Preface', Philosophia Scientiae 19 (1), 5-7.
with Heinzmann, G. , Bour, P. , Hodges, W. (eds) , 2015, Philosophia Scientiae 19 (1).
with Heinzmann, G. , Hodges, W. , 2014, 'Preface', Philosophia Scientiae 18 (3), 1-3.
(ed) , 2014, Philosophia Scientiae 18 (3).
, 2012, 'The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics', Synthese 187 (3), 925-942.
, 2011, 'Schluß und Umkehrschluß: Ein Beitrag zur Definitionstheorie', Deutsches Jahrbuch Philosophie 2, 1065-1092.
with Heinzmann, G. , 2010, '14th Congress of logic, methodology and philosophy of science', Philosophia Scientiae 14 (1), n/a.
, 2008, Lorenzen's operative justification of intuitionistic logic, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 214-240.
with Kahle, R. , 2006, 'Introduction: proof-theoretic semantics', Synthese 148 (3), 503-506.
, 2006, 'Validity concepts in proof-theoretic semantics', Synthese 148 (3), 525-571.
with Wehmeier, K. , 2005a, 'Frege's permutation argument revisited', Synthese 147 (1), 43-61.