Atomic systems in proof-theoretic semantics

two approaches

2016

Thomas Piecha, Peter Schroeder-Heister

in: Epistemology, knowledge and the impact of interaction, Berlin,

Logic and philosophy of science in Nancy (II)

2015

Gerhard Heinzmann, Pierre É. Bour, Wilfrid Hodges, Peter Schroeder-Heister (eds)

Philosophia Scientiae 19 (1)

Preface

2015

Pierre É. Bour, Gerhard Heinzmann, Wilfrid Hodges, Peter Schroeder-Heister

Philosophia Scientiae 19 (1)

Logic and Philosophy of Science in Nancy (I)

2014

Peter Schroeder-Heister (ed)

Philosophia Scientiae 18 (3)

Preface

2014

Gerhard Heinzmann, Wilfrid Hodges, Peter Schroeder-Heister

Philosophia Scientiae 18 (3)

The categorical and the hypothetical

a critique of some fundamental assumptions of standard semantics

2012

Peter Schroeder-Heister

Synthese 187 (3)

Schluß und Umkehrschluß

Ein Beitrag zur Definitionstheorie

2011

Peter Schroeder-Heister

Deutsches Jahrbuch Philosophie 2

14th Congress of logic, methodology and philosophy of science

2010

Gerhard Heinzmann, Peter Schroeder-Heister

Philosophia Scientiae 14 (1)

Lorenzen's operative justification of intuitionistic logic

2008

Peter Schroeder-Heister

in: One hundred years of intuitionism (1907–2007), Berlin,

Introduction

Proof-theoretic semantics

2006

Reinhard Kahle, Peter Schroeder-Heister

Synthese 148 (3)