Peter Schroeder-Heister

Publication Activity (10 Years)

Years Active: 1983-2019
Publications (10 Years): 5

Top Topics

Default Reasoning

Derivation Rules

Top Venues

Ann. Pure Appl. Log.

J. Philos. Log.

Publications

Thomas Piecha, Peter Schroeder-Heister
General Proof Theory: Introduction. Stud Logica 107 (1) (2019)
Peter Schroeder-Heister
Kosta Došen (1954-2017). Stud Logica 107 (1) (2019)
Thomas Piecha, Peter Schroeder-Heister
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Stud Logica 107 (1) (2019)
Peter Schroeder-Heister, Luca Tranchini
Ekman's Paradox. Notre Dame J. Formal Log. 58 (4) (2017)
Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister
Failure of Completeness in Proof-Theoretic Semantics. J. Philos. Log. 44 (3) (2015)
Grigory K. Olkhovikov, Peter Schroeder-Heister
On Flattening Elimination Rules. Rev. Symb. Log. 7 (1) (2014)
Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister
Constructive semantics, admissibility of rules and the validity of Peirce's law. Log. J. IGPL 22 (2) (2014)
Peter Schroeder-Heister
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony. Stud Logica 102 (6) (2014)
Peter Schroeder-Heister
Definitional Reflection and Basic Logic. Ann. Pure Appl. Log. 164 (4) (2013)
Peter Schroeder-Heister
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synth. 187 (3) (2012)
Peter Schroeder-Heister
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. J. Philos. Log. 40 (1) (2011)
Peter Schroeder-Heister
Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1 (2) (2007)
Reinhard Kahle, Peter Schroeder-Heister
Introduction: Proof-theoretic Semantics. Synth. 148 (3) (2006)
Peter Schroeder-Heister
Validity Concepts in Proof-theoretic Semantics. Synth. 148 (3) (2006)
Kai Frederick Wehmeier, Peter Schroeder-Heister
Frege's permutation argument revisited. Synth. 147 (1) (2005)
Peter Schroeder-Heister
Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. Bull. Symb. Log. 8 (2) (2002)
Jörg Hudelmaier, Peter Schroeder-Heister
Classical Lambek Logic. TABLEAUX (1995)
Peter Schroeder-Heister
Definitional Reflection and the Completion. ELP (1993)
Peter Schroeder-Heister
Rules of Definitional Reflection LICS (1993)
Lars Hallnäs, Peter Schroeder-Heister
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. J. Log. Comput. 1 (5) (1991)
Peter Schroeder-Heister
Cut Elimination for Logics with Definitional Reflection. Nonclassical Logics and Information Processing (1990)
Lars Hallnäs, Peter Schroeder-Heister
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. J. Log. Comput. 1 (2) (1990)
Peter Schroeder-Heister
Hypothetical Reasoning and Definitional Reflection in Logic Programming. ELP (1989)
Kosta Dosen, Peter Schroeder-Heister
Uniqueness, Definability and Interpolation. J. Symb. Log. 53 (2) (1988)
Peter Schroeder-Heister
A model-theoretic reconstruction of Frege's permutation argument. Notre Dame J. Formal Log. 28 (1) (1987)
Peter Schroeder-Heister
A Natural Extension of Natural Deduction. J. Symb. Log. 49 (4) (1984)
Peter Schroeder-Heister
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. J. Philos. Log. 12 (3) (1983)