- Implications-as-rules vs. implications-as-links: An alternative implication-left schema for the
- NICHOLAS RESCHER ON GREEK PHILOSOPHY AND THE SYLLOGISM
- KAI FREDERICK WEHMEIER and PETER SCHROEDER-HEISTER FREGE'S PERMUTATION ARGUMENT REVISITED
- Peter SchroederHeister Structural Frameworks
- Schroeder-Heister, Peter, Konstanz, Bibliographie Hugo Dingler (1881-1954) , Zeitschrift f??r philosophische Forschung, 35:2 (1981:Apr./Juni) p.283
- Abstracts of the 11th International Congress of Logic, Methodology, and Philosophy of Sci-ence (Cracow, August 1999), Cracow 1999, p. 449
- REDUCTION, REPRESENTATION AND COMMENSURABILITY OF THEORIES*
- FORMAL LANGUAGES AND SYSTEMS Heinrich Herre
- Final draft of a paper which will appear as an article in the International Encyclopedia of the Social and Behavioral Sciences, Elsevier, 2001
- Structural Frameworks, Substructural Logics, and the Role of Elimination
- Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
- Definitional Reflection and Basic Logic Peter Schroeder-Heister
- Generalized Definitional Reflection and the Inversion Principle
- Cut Elimination for Logics with De nitional Re ection and Restricted
- Nrumpr).rholoy,a. Vol. 21. No 6. pp. 871-880. 1989. Prmted I" Great Bnlam
- PETER SCHROEDER-HEISTER THE COMPLETENESS OF INTUITIONISTIC LOGIC
- THE JOURNALOF SYMBOLICLOGIC Volume 49, Number 4, Dec. 1984
- Notre Dame Journal of Formal Logic Volume 28, Number 1, January 1987
- A Proof-Theoretic Approach to Logic Programming.
- Cut-Elimination in Logics with Definitional Reflection
- Definitional Reflection and the Completion Peter Schroeder-Heister *
- HISTORY AND PHILOSOPHY OF LOGIC 18(1997) 95-108 Frege and the Resolution Calculus
- Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
- Philosophy Science Scientific Philosophy Proceedings of GAP.5, Bielefeld, 22. 26.09.2003 On the Notion of Assumption in Logical Systems
- Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
- Sequent Calculi and Bidirectional Natural Deduction
- Neuropsychdogia,Vol.23,No.3,pp.427-430,1985 Prmtedm GreatBntain.
- Acta Psychologica 66 (1987) 127-138 North-Holland
- Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science
- Lecture Notes in Computer Science 2183 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
- REINHARD KAHLE and PETER SCHROEDER-HEISTER INTRODUCTION: PROOF-THEORETIC SEMANTICS
- The Categorical and the Hypothetical: A critique of some fundamental assumptions of standard
- Schlu und Umkehrschlu: Ein Beitrag zur Definitionstheorie
- PETER SCHROEDER-HEISTER, An alternative implication-left schema for the se-quent calculus.
- Proof-Theoretic versus Model-Theoretic Consequence Peter Schroeder-Heister
- Peter Schroeder-Heister Structural Frameworks
- Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science
- Acta Psychologica 69 (1988) 35-44 North-Holland
- Logica universalis 1 (2007), 355376 1661-8297/020355-22, DOI 10.1007/s11787-007-0018-7
- To appear in: I. Jarvie, K. Milford, D. Miller (eds.), Karl Popper: A Centenary Assessment, London: Ashgate 2005.
- Final draft of a paper which will appear as an article in the International Encyclopedia of the Social and Behavioral Sciences, Elsevier, 2001
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
- Hypothetical Reasoning and Definitional Reflection in Logic Programming
- ELWS'IER Acta Psychologica85 (1994)15-24 psychologica
- The Bulletin of Symbolic Logic Volume 8, Number 2, June 2002
- Schroeder-Heister: Lorenzen 1 Lorenzen's operative justification of intuitionistic logic
- THE JOURNAL OF SYMBOLIC LOGIC Volume 53, Number 2, June 1988
- Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
- Sektion 1: Logik und Wissenschaftstheorie Assertion and Denial in Proof-Theoretic Semantics
- Generalized elimination inferences, higher-level rules, and the implications-as-rules interpretation of the
- To appear in: I. Jarvie, K. Milford, D. Miller (eds.), Karl Popper: A Centenary Assessment, London: Ashgate 2005.
- Synthese (2006) 148: 525571 Springer 2006 DOI 10.1007/s11229-004-6296-1
- Lecture Notes in Artificial Intelligence Subseries of LectureNotes in Computer Science
- Paper submitted for the GAP5 meeting (Bielefeld, 22 to 26 September 2003) Sektion 1: Logik
- Definitional Reflection and Basic Logic Peter Schroeder-Heister
- FORMAL LANGUAGES AND SYSTEMS Heinrich Herre
- Proof-Theoretic Semantics (SEP Entry)
- Proof-Theoretic Semantics (SEP Entry)
- Proof-Theoretic semantics, self-contradiction, and the format of deductive reasoning
- To appear in: M. Pelis & V. Puncochar (Eds.), The Logica Yearbook 2011. London: College Publications 2012.
