Peter Schroeder-Heister
with Piecha Thomas (2016). Atomic systems in proof-theoretic semantics: two approaches. In J. Redmond, O. Martins & Ă. Fernández (eds.) Epistemology, knowledge and the impact of interaction (pp. 47-62). Dordrecht: Springer.
with Bour Pierre Edouard, Heinzmann Gerhard, Hodges Wilfrid (2015). Preface. Philosophia Scientiae, 19 (1), 5-7.
with Heinzmann Gerhard, Bour Pierre Edouard, Hodges Wilfrid (eds) (2015). Philosophia Scientiae 19 (1).
with Heinzmann Gerhard, Hodges Wilfrid (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. https://doi.org/10.1007/s11229-011-9910-z.
(2011). SchluĂź und UmkehrschluĂź: Ein Beitrag zur Definitionstheorie. Deutsches Jahrbuch Philosophie, 2, 1065-1092.
with Heinzmann Gerhard (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) (pp. 214-240). Dordrecht: Springer.
with Kahle Reinhard (2006). Introduction: proof-theoretic semantics. Synthese, 148 (3), 503-506. https://doi.org/10.1007/s11229-004-6292-5.
(2006). Validity concepts in proof-theoretic semantics. Synthese, 148 (3), 525-571. https://doi.org/10.1007/s11229-004-6296-1.
with Wehmeier Kai (2005). Frege's permutation argument revisited. Synthese, 147 (1), 43-61. https://doi.org/10.1007/s11229-004-6206-6.