Bibliographie Hugo Dingler (1881-1954). Zeitschrift für philosophische Forschung 35 (1981), 283-298. Leicht korrigierte und aktualisierte Digitalausgabe in: U. Weiß (ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1980.
(With F. Schaefer) Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien. In: P. Weingartner, G. Schurz (eds.), Logik, Wissenschafstheorie und Erkenntnistheorie. Akten des 11. Internationalen Wittgenstein Symposiums, 4.-13. 8. 1986, Kirchberg/Wechsel (Österreich), Wien: Hölder-Pichler-Tempsky 1987, 230-233.
Hypothetical reasoning and definitional reflection in logic programming. In: P. Schroeder-Heister (ed.), Extensions of Logic Programming. International Workshop, Tübingen, FRG, December 1989, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 475, Berlin/Heidelberg/New York 1991, 327-340.
Cut-elimination in logics with definitional reflection. In: D. Pearce, H. Wansing (eds.), Nonclassical Logics and Information Processing. International Workshop, Berlin, November 1990, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 619, Berlin/Heidelberg/New York 1992, 146-171.
Rules of definitional reflection. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (Montreal 1993), Los Alamitos 1993, 222-232.
Definitional reflection and the completion. In: R. Dyckhoff (ed.), Extensions of Logic Programming. Fourth International Workshop, St. Andrews, Scotland, April 1993, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 798, Berlin/Heidelberg/New York 1994, 333-347.
(With J. Hudelmaier) Classical Lambek Logic. In: P. Baumgartner, R. Hähnle, J. Posegga (eds.), Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX '95 (St. Goar, May 7-10, 1995), Springer LNAI, Bd. 918, 247-262.
Poppers Theorie der Wahrscheinlichkeit. In: H. Keuth (ed.), Klassiker auslegen: Poppers "Logik der Forschung". Akademie-Verlag, Berlin, 1998 (2. Aufl. 2004), 185-213. Offprint request
(With J. Hudelmaier) The history of automated deduction and logic programming. In: D. Gabbay and J. Woods (eds.), The Handbook of the History of Logic (in preparation).
Gentzen-style features in Frege. Abstracts of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, Poland (August 1999), Cracow: 1999, p. 449. Extended version published as "Frege's sequent calculus".
(With P. Contu) Reasoning with Definitions and Lemmata, in preparation.
Operative Logik und Logikprogrammierung. In: C. F. Gethmann (ed.), Konstruktive Logik. Ergebnisse der Tagung in Bad Neuenahr - Ahrweiler (18./19. 11. 1999), in preparation.
Definitional reflection and circular reasoning. In: E. Álvarez, R. Bosch & L. Villamil (eds.), Abstracts of the 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain, August 7-13, 2003), Oviedo 2003, 126-128. (Abstract)
On the Notion of Assumption in Logical Systems. Paper submitted for the GAP5 meeting in Bielefeld (22 to 26 September 2003). Abstract. Extended Summary. Full paper in: R. Bluhm & C. Nimtz (eds.), Selected Papers Contributed to the Sections of GAP5, Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22-26 September 2003, Paderborn: mentis 2004, 27-48. Online-publication of the conference volume: http://www.gap5.de/proceedings/
(With P. Contu) Folgerung. In: W. Spohn, P. Schroeder-Heister and E. Olsson (eds.), Logik in der Philosophie, Heidelberg: Synchron Wissenschaftsverlag, 2005, 247-276. Offprint request
(With K. F. Wehmeier) Frege's Permutation Argument Revisited. In: B. Buldt, V. Halbach, R. Kahle (eds.), Reflections on Frege and Hilbert. Synthese 147 (2005), 43-61.
Begründungsrationalität und Logik. In: M. Carrier, G. Wolters (eds.), Homo Sapiens und Homo Faber: Epistemische und technische Rationalität in Antike und Gegenwart. Festschrift für Jürgen Mittelstraß, Berlin: de Gruyter 2005, 285-296. Offprint request
Popper's structuralist theory of logic. In: I. Jarvie, K. Milford & D. Miller (eds.), Karl Popper: A Centenary Assessment. Vol. III: Science. Ashgate Publishing: Aldershot 2006, 17-36. (Draft)
Lorenzen's operative justification of intuitionistic logic. In: M. van Atten, P. Boldini, M. Bourdeau, G. Heinzmann (eds.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, Basel: Birkhäuser 2008, 214-240 (References [for whole volume] 391-416).
(with J. Mittelstraß) Nicholas Rescher on Greek Philosophy and the Syllogism. In: R. Almeder (ed.), Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher Presented to Him on the Occasion of His 80th Birthday. Frankfurt: Ontos 2008, 211-240. (Draft)
Paradoxes and Structural Rules. In: C. Dutilh Novaes & O. T. Hjortland (eds.), Insolubles and Consequences: Essays in honour of Stephen Read. London: College Publications 2012, 203-211.
Definitional Reflection and Basic Logic. In M. E. Maietti, E. Palmgren and M. Rathjen (eds.), APAL special issue "Advances in Constructive Topology and Logical Foundations" in honor of the 60th birthday of Giovanni Sambin, 164 (2013), 491-501. (Draft)
Frege’s sequent calculus. In: A. Indrzejczak, J. Kaczmarek, M. Zawidzki (eds.), Trends in Logic XIII: Gentzen's and Jaśkowski's heritage - 80 years of natural deduction and sequent calculi, Łódź University Press 2014, 233-245. (Draft)
Proof-theoretic validity based on elimination rules. In: E. H. Haeusler, W. de Campos Sanz & B. Lopes (eds), Why is this a Proof? Festschrift for Luiz Carlos Pereira, College Publications, London 2015. (Draft)
(With T. Piecha) Intuitionistic logic is not complete for standard proof-theoretic semantics. Abstract for the ASL Logic Colloquium 2017, Stockholm, 14-20 August. Bulletin of Symbolic Logic 24 (2018), 262.
(With T. Piecha) Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. In T. Piecha and P. Schroeder-Heister (eds), Special issue on General Proof Theory, Studia Logica 107(1), 233-246, 2019. Available online at https://doi.org/10.1007/s11225-018-9823-7and via Springer Nature Sharedit at: https://rdcu.be/5dDs.
(With T. Piecha) General Proof Theory: Introduction. In T. Piecha and P. Schroeder-Heister (eds), Special issue on General Proof Theory, Studia Logica 107(1), 1-5, 2019. Available online at https://doi.org/10.1007/s11225-018-9818-4and via Springer Nature SharedIt at https://rdcu.be/6hGW.
G. Heister, P. S.-H. & W. Ehrenstein: Spatial stimulus-response (S-R) compatibility under head tilt: Evidence for a factorial model (Abstract). Perception 16 (1987), A17b.
G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of visual half-field superiority for face perception during the menstrual cycle (Abstract). Behavioral Brain Research 33 (1989), 314.
(With G. Wolters) Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. Konstanz 1979. Digitalausgabe in: U. Weiß (ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1986 und 1987.
(With W. Spohn and E. Olsson), Logik in der Philosophie, Synchron Wissenschaftsverlag: Heidelberg 2005, Table of Contents and Introduction: Offprint request
(With R. Kahle), Proof-Theoretic Semantics, Special issue of Synthese, 2006. (Table of Contents and Introduction)
(With P. E. Bour, G. Heinzmann, W. Hodges) Logic and Philosophy of Science in Nancy (I). Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science. (= Philosophia Scientiae, Vol. 18, 3).
(With G. Heinzmann, W. Hodges, P. E. Bour) Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies. Proceedings of the 14th International Congress (Nancy). College Publications, London 2014. Table of contents and preface.
(With T. Piecha) Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen, http://dx.doi.org/10.15496/publikation-415, University of Tübingen 2015.
(With T. Piecha) General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015, http://dx.doi.org/10.15496/publikation-10394, University of Tübingen 2016.
IV. Book Reviews, Encyclopedia Articles, Miscellaneous
Ca. 45 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 1 (A-G), Mannheim/Wien/Zürich 1980, e.g.: arbor porphyriana; Bayessches Theorem (with K. Mainzer); Bertrandsche Paradoxie; Bewertungssemantik; Condorcet, A. (with H.-L. Nastansky); definit/Definitheit; Funktionalinterpretation; Gehalt, empirischer; Gentzen, G.; Grelling, K. Offprint request
Entry "Popper" in: Neue Deutsche Biographie, ed. Historische Kommission bei der Bayerischen Akademie der Wissenschaften, Bd. 20, Duncker & Humblot: Berlin 2001, 625-628. Offprint request
Review of: G. Frege, Idéographie (Traduction, Paris 1999). Isis 91 (2000).
Nachruf auf Prof. Dr. Gisbert Hasenjaeger (1.6.1919-2.9.2006). Chronik und Bericht der Rheinischen Friedrich-Wilhelms-Universität Bonn über das Akademische Jahr 2005/2006, 57-59 (den Gepflogenheiten des Publikationsorgans entsprechend nichtgezeichneter, auf einer Vorlage von P.S.-H. beruhender Beitrag). Offprint request
Entry "Verhältnis/Beziehung" in: P. Kolmer/A.G. Wildfeuer (eds.), Neues Handbuch philosophischer Grundbegriffe (in Vorbereitung).