Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Schroeder-Heister
2010 – today
- 2013
[j11]Peter Schroeder-Heister: Definitional Reflection and Basic Logic. Ann. Pure Appl. Logic 164(4): 491-501 (2013)- 2012
- [j10]Peter Schroeder-Heister: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187(3): 925-942 (2012)
- 2011
- [j9]Peter Schroeder-Heister: Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. J. Philosophical Logic 40(1): 95-101 (2011)
2000 – 2009
- 2007
- [j8]Peter Schroeder-Heister: Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1(2): 355-376 (2007)
- 2006
- [j7]Reinhard Kahle, Peter Schroeder-Heister: Introduction: Proof-theoretic Semantics. Synthese 148(3): 503-506 (2006)
- [j6]Peter Schroeder-Heister: Validity Concepts in Proof-theoretic Semantics. Synthese 148(3): 525-571 (2006)
- 2002
- [j5]Peter Schroeder-Heister: Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. Bulletin of Symbolic Logic 8(2): 246-265 (2002)
- 2001
- [e4]Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk (Eds.): Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings. Lecture Notes in Computer Science 2183, Springer 2001, ISBN 3-540-42752-X
1990 – 1999
- 1996
- [e3]Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings. Lecture Notes in Computer Science 1050, Springer 1996, ISBN 3-540-60983-0
- 1995
- [c5]
- 1993
- [c4]
- [c3]
- 1992
- [e2]Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Lecture Notes in Computer Science 596, Springer 1992, ISBN 3-540-55498-X
- 1991
- [j4]Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. J. Log. Comput. 1(5): 635-660 (1991)
- [e1]Peter Schroeder-Heister (Ed.): Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings. Lecture Notes in Computer Science 475, Springer 1991, ISBN 3-540-53590-X
- 1990
- [j3]Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. J. Log. Comput. 1(2): 261-283 (1990)
- [c2]Peter Schroeder-Heister: Cut Elimination for Logics with Definitional Reflection. Nonclassical Logics and Information Processing 1990: 146-171
1980 – 1989
- 1989
- [c1]Peter Schroeder-Heister: Hypothetical Reasoning and Definitional Reflection in Logic Programming. ELP 1989: 327-339
- 1988
- [j2]Kosta Dosen, Peter Schroeder-Heister: Uniqueness, Definability and Interpolation. J. Symb. Log. 53(2): 554-570 (1988)
- 1984
- [j1]Peter Schroeder-Heister: A Natural Extension of Natural Deduction. J. Symb. Log. 49(4): 1284-1300 (1984)
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-11 03:37 CEST by the dblp team