Peter Schroeder-Heister

34 papers A* 1B 1Journal 22Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
General Proof Theory: Introduction.
Stud Logica
Thomas Piecha, Peter Schroeder-Heister
2019 J jnl
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.
Stud Logica
Thomas Piecha, Peter Schroeder-Heister
2019 J jnl
Kosta Došen (1954-2017).
Stud Logica
Peter Schroeder-Heister
2017 J jnl
Ekman's Paradox.
Notre Dame J. Formal Log.
Peter Schroeder-Heister, Luca Tranchini
2016 — book
Advances in Proof-Theoretic Semantics.
Thomas Piecha, Peter Schroeder-Heister
2016 — ch.
Advances in Proof-Theoretic Semantics: Introduction.
Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister
2016 — ch.
Open Problems in Proof-Theoretic Semantics.
Advances in Proof-Theoretic Semantics
Peter Schroeder-Heister
2015 J jnl
Failure of Completeness in Proof-Theoretic Semantics.
J. Philos. Log.
Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister
2014 J jnl
Constructive semantics, admissibility of rules and the validity of Peirce's law.
Log. J. IGPL
Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister
2014 J jnl
On Flattening Elimination Rules.
Rev. Symb. Log.
Grigory K. Olkhovikov, Peter Schroeder-Heister
2014 J jnl
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.
Stud Logica
Peter Schroeder-Heister
2013 J jnl
Definitional Reflection and Basic Logic.
Ann. Pure Appl. Log.
Peter Schroeder-Heister
2012 J jnl
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.
Synth.
Peter Schroeder-Heister
2011 J jnl
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus.
J. Philos. Log.
Peter Schroeder-Heister
2007 J jnl
Generalized Definitional Reflection and the Inversion Principle.
Logica Universalis
Peter Schroeder-Heister
2006 J jnl
Introduction: Proof-theoretic Semantics.
Synth.
Reinhard Kahle, Peter Schroeder-Heister
2006 J jnl
Validity Concepts in Proof-theoretic Semantics.
Synth.
Peter Schroeder-Heister
2005 J jnl
Frege's permutation argument revisited.
Synth.
Kai Frederick Wehmeier, Peter Schroeder-Heister
2002 J jnl
Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen.
Bull. Symb. Log.
Peter Schroeder-Heister
2001 — ed.
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
PTCS
Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk
1996 — ed.
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings
ELP
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
1995 B conf
Classical Lambek Logic.
TABLEAUX
Jörg Hudelmaier, Peter Schroeder-Heister
1993 — conf
Definitional Reflection and the Completion.
ELP
Peter Schroeder-Heister
1993 A* conf
Rules of Definitional Reflection
LICS
Peter Schroeder-Heister
1992 — ed.
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
ELP
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
1991 J jnl
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions.
J. Log. Comput.
Lars Hallnäs, Peter Schroeder-Heister
1991 — ed.
Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings
ELP
Peter Schroeder-Heister
1990 J jnl
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules.
J. Log. Comput.
Lars Hallnäs, Peter Schroeder-Heister
1990 — conf
Cut Elimination for Logics with Definitional Reflection.
Nonclassical Logics and Information Processing
Peter Schroeder-Heister
1989 — conf
Hypothetical Reasoning and Definitional Reflection in Logic Programming.
ELP
Peter Schroeder-Heister
1988 J jnl
Uniqueness, Definability and Interpolation.
J. Symb. Log.
Kosta Dosen, Peter Schroeder-Heister
1987 J jnl
A model-theoretic reconstruction of Frege's permutation argument.
Notre Dame J. Formal Log.
Peter Schroeder-Heister
1984 J jnl
A Natural Extension of Natural Deduction.
J. Symb. Log.
Peter Schroeder-Heister
1983 J jnl
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.
J. Philos. Log.
Peter Schroeder-Heister