The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. - Peter Schroeder-Heister (J. Philos. Log., 1983)

A Natural Extension of Natural Deduction. - Peter Schroeder-Heister (J. Symb. Log., 1984)

A model-theoretic reconstruction of Frege's permutation argument. - Peter Schroeder-Heister (Notre Dame J. Formal Log., 1987)

Uniqueness, Definability and Interpolation. - Kosta Dosen; Peter Schroeder-Heister (J. Symb. Log., 1988)

Hypothetical Reasoning and Definitional Reflection in Logic Programming. - Peter Schroeder-Heister (ELP, 1989)

Cut Elimination for Logics with Definitional Reflection. - Peter Schroeder-Heister (Nonclassical Logics and Information Processing, 1990)

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. - Lars Hallnäs; Peter Schroeder-Heister (J. Log. Comput., 1990)

A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. - Lars Hallnäs; Peter Schroeder-Heister (J. Log. Comput., 1991)

Definitional Reflection and the Completion. - Peter Schroeder-Heister (ELP, 1993)

Rules of Definitional Reflection - Peter Schroeder-Heister (LICS, 1993)

Classical Lambek Logic. - Jörg Hudelmaier; Peter Schroeder-Heister (TABLEAUX, 1995)

Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. - Peter Schroeder-Heister (Bull. Symb. Log., 2002)

Frege's permutation argument revisited. - Kai Frederick Wehmeier; Peter Schroeder-Heister (Synth., 2005)

Introduction: Proof-theoretic Semantics. - Reinhard Kahle; Peter Schroeder-Heister (Synth., 2006)

Validity Concepts in Proof-theoretic Semantics. - Peter Schroeder-Heister (Synth., 2006)

Generalized Definitional Reflection and the Inversion Principle. - Peter Schroeder-Heister (Logica Universalis, 2007)

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. - Peter Schroeder-Heister (J. Philos. Log., 2011)

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. - Peter Schroeder-Heister (Synth., 2012)

Definitional Reflection and Basic Logic. - Peter Schroeder-Heister (Ann. Pure Appl. Log., 2013)

Constructive semantics, admissibility of rules and the validity of Peirce's law. - Wagner de Campos Sanz; Thomas Piecha; Peter Schroeder-Heister (Log. J. IGPL, 2014)

On Flattening Elimination Rules. - Grigory K. Olkhovikov; Peter Schroeder-Heister (Rev. Symb. Log., 2014)

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony. - Peter Schroeder-Heister (Stud Logica, 2014)

Failure of Completeness in Proof-Theoretic Semantics. - Thomas Piecha; Wagner de Campos Sanz; Peter Schroeder-Heister (J. Philos. Log., 2015)

Advances in Proof-Theoretic Semantics: Introduction. - Thomas Piecha; Peter Schroeder-Heister (Advances in Proof-Theoretic Semantics, 2016)

Open Problems in Proof-Theoretic Semantics. - Peter Schroeder-Heister (Advances in Proof-Theoretic Semantics, 2016)

Ekman's Paradox. - Peter Schroeder-Heister; Luca Tranchini (Notre Dame J. Formal Log., 2017)

General Proof Theory: Introduction. - Thomas Piecha; Peter Schroeder-Heister (Stud Logica, 2019)

Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. - Thomas Piecha; Peter Schroeder-Heister (Stud Logica, 2019)

Kosta Došen (1954-2017). - Peter Schroeder-Heister (Stud Logica, 2019)