Peter Schroeder-Heister

According to our database, Peter Schroeder-Heister authored at least 29 papers between 1983 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Kosta Došen (1954-2017).

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

General Proof Theory: Introduction.

Thomas Piecha, Peter Schroeder-Heister

Stud Logica, 2019

2017

Ekman's Paradox.

Peter Schroeder-Heister, Luca Tranchini

Notre Dame J. Formal Log., 2017

2016

Open Problems in Proof-Theoretic Semantics.

Peter Schroeder-Heister

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

Advances in Proof-Theoretic Semantics: Introduction.

Thomas Piecha, Peter Schroeder-Heister

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2015

Failure of Completeness in Proof-Theoretic Semantics.

Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister

J. Philos. Log., 2015

2014

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.

Peter Schroeder-Heister

Stud Logica, 2014

On Flattening Elimination Rules.

Grigory K. Olkhovikov, Peter Schroeder-Heister

Rev. Symb. Log., 2014

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

2013

Definitional Reflection and Basic Logic.

Peter Schroeder-Heister

Ann. Pure Appl. Log., 2013

2012

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.

Peter Schroeder-Heister

Synth., 2012

2011

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus.

Peter Schroeder-Heister

J. Philos. Log., 2011

2007

Generalized Definitional Reflection and the Inversion Principle.

Peter Schroeder-Heister

Logica Universalis, 2007

2006

Validity Concepts in Proof-theoretic Semantics.

Peter Schroeder-Heister

Synth., 2006

Introduction: Proof-theoretic Semantics.

Reinhard Kahle, Peter Schroeder-Heister

Synth., 2006

2005

Frege's permutation argument revisited.

Kai Frederick Wehmeier, Peter Schroeder-Heister

Synth., 2005

2002

Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen.

Peter Schroeder-Heister

Bull. Symb. Log., 2002

1995

Classical Lambek Logic.

Jörg Hudelmaier, Peter Schroeder-Heister

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1993

Rules of Definitional Reflection

Peter Schroeder-Heister

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Definitional Reflection and the Completion.

Peter Schroeder-Heister

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1991

A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions.

Lars Hallnäs, Peter Schroeder-Heister

J. Log. Comput., 1991

1990

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules.

Lars Hallnäs, Peter Schroeder-Heister

J. Log. Comput., 1990

Cut Elimination for Logics with Definitional Reflection.

Peter Schroeder-Heister

Proceedings of the Nonclassical Logics and Information Processing, 1990

1989

Hypothetical Reasoning and Definitional Reflection in Logic Programming.

Peter Schroeder-Heister

Proceedings of the Extensions of Logic Programming, 1989

1988

Uniqueness, Definability and Interpolation.

Kosta Dosen, Peter Schroeder-Heister

J. Symb. Log., 1988

1987

A model-theoretic reconstruction of Frege's permutation argument.

Peter Schroeder-Heister

Notre Dame J. Formal Log., 1987

1984

A Natural Extension of Natural Deduction.

Peter Schroeder-Heister

J. Symb. Log., 1984

1983

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.

Peter Schroeder-Heister

J. Philos. Log., 1983