I. Logic, Philosophy and Computer Science Bibliographie Hugo Dingler (1881-1954) . Zeitschrift für philosophische Forschung 35 (1981), 283-298. Slightly modified digital edition in: U. Weiß (Ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1980. Reprinted in: G. Wolters and P. Schroeder-Heister (Eds.), Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. DOI: 10.15496/publikation-69429 . Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (33MB). Ph.D. Thesis, University of Bonn 1981. Published online together with the manuscript “Sentential calculi with rules of arbitrary levels” of 1982 (Summary of Chapters 1 and 2 of the German Ph.D. thesis). DOI: 10.15496/publikation-68454 . Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren . Conceptus 16 (1982), 45-59. DOI: 10.15496/publikation-72304 . The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle . Journal of Philosophical Logic 12 (1983), 359-377. DOI: 10.1007/BF00263483 . Inversion principles and the completeness of intuitionistic natural deduction systems . Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science (Salzburg 1983), Vol. 5, 150-153. DOI: 10.15496/publikation-72545 . Popper's theory of deductive inference and the concept of a logical constant . History and Philosophy of Logic 5 (1984), 79-110. DOI: 10.1080/01445348408837064 Freges Permutationsargument. Zu §10 der "Grundgesetze der Arithmetik" . In: G. Wechsung (ed.), Frege Conference 1984. Proceedings of the International Conference held at Schwerin (GDR), September 10-14, 1984. Berlin: Akademie-Verlag 1984, 182-188. DOI: 10.15496/publikation-72305 . A natural extension of natural deduction . Journal of Symbolic Logic 49 (1984), 1284-1300. DOI: 10.2307/2274279 . Generalized rules for quantifiers and the completeness of the intuitionistic operators &, v, ->, f, 'all', 'exists '. In: M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (eds.), Computation and Proof Theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II. Berlin/Heidelberg/New York/Tokyo: Springer Lecture Notes in Mathematics, Vol. 1104, 1984, 399-426. DOI: 10.1007/BFb0099494 . Natural deduction calculi with rules of higher levels (Abstract) . Journal of Symbolic Logic 50 (1985), 275-276. DOI: 10.2307/2273818 . Proof-theoretic validity and the completeness of intuitionistic logic . In: G. Dorn, P. Weingartner (eds.), Foundations of Logic and Linguistics: Problems and Their Solutions. New York/London: Plenum Press 1985, 43-87. DOI: 10.1007/978-1-4899-0548-2_4 . (With K. Došen) Conservativeness and uniqueness . Theoria 51 (1985), 159-173. DOI: 10.1111/j.1755-2567.1985.tb00093.x . (With J. Mittelstraß) Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz . In: H. Stachowiak (ed. in collab. with Claus Baldus), Pragmatik. Handbuch pragmatischen Denkens. Bd. I. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert. Hamburg: Meiner 1986, 392-414. DOI: 10.15496/publikation-72307 . Structural Frameworks with Higher-Level Rules. Philosophical Investigations on the Foundations of Formal Reasoning . Habilitationsschrift. University of Konstanz 1987. DOI: 10.15496/publikation-69827 . A model-theoretic reconstruction of Frege's permutation argument . Notre Dame Journal of Formal Logic 28 (1987), 69-79. DOI: 10.1305/ndjfl/1093636847 . (With K. Došen) A general interpolation and definability theorem (Abstract) . Journal of Symbolic Logic 52 (1987), 315-316. DOI: 10.2307/2273893 . Judgements of higher levels in Martin-Löf's logical theory (Abstract) . Journal of Symbolic Logic 52 (1987), 1083. DOI: 10.2307/2273851 . (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. DOI: 10.15496/publikation-72329 . (With K. Došen) Uniqueness, definability and interpolation . Journal of Symbolic Logic 53 (1988), 554-570. DOI: 10.2307/2274524 . (With F. Schaefer) Reduction, representation and commensurability of theories . Philosophy of Science 56 (1989), 130-157. DOI: 10.1086/289476 . (With Lars Hallnäs) Logic programming with higher-level rules (Abstract) . Journal of Symbolic Logic 54 (1989), 656-657. DOI: 10.2307/2274896 . Judgements of higher levels and standardized rules for logical constants in Martin-Löf's theory of logic . In: P. Dybjer et al. (eds.), Proceedings of the Workshop on Programming Logic. Programming Methodology Group, University of Göteborg, Report 54, 1989, 494-517. DOI: 10.15496/publikation-72310 . (With L. Hallnäs) A proof-theoretic approach to logic programming. I. Clauses as rules . Journal of Logic and Computation 1 (1990), 261-283. DOI: 10.1093/logcom/1.2.261 . (With L. Hallnäs) A proof-theoretic approach to logic programming. II. Programs as definitions . Journal of Logic and Computation 1 (1991) 635-660. DOI: 10.1093/logcom/1.5.635 . An asymmetry between introduction and elimination inferences . In: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science (Uppsala 1991). DOI: 10.15496/publikation-72545 . Uniform proof-theoretic semantics for logical constants (Abstract) . Journal of Symbolic Logic 56 (1991), 1142. DOI: 10.2307/2275092 . Structural frameworks, substructural logics and the role of elimination inferences . In: G. Plotkin, G. Huet (eds.), Logical Frameworks. Cambridge University Press, 1991, 385-403. DOI: 10.1017/CBO9780511569807.016 . 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. DOI: 10.1007/BFb0038701 . (With L. Hallnäs) Local reflection in inductive definitions: The D-rule (Abstract) . Journal of Symbolic Logic 57 (1992), 300. DOI: 10.2307/2275203 . 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. DOI: 10.1007/BFb0031929 . Rules of definitional reflection in logic programming . In: Proceedings of the Workshop on Linear Logic and Logic Programming, Washington, DC, 14 November 1992 (following the 1992 Joint International Conference and Symposium on Logic Programming). Ed. by Dale Miller (University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-92-80), 45–46. DOI: 10.15496/publikation-72545 . URL: https://repository.upenn.edu/cis_reports/301 . Rules of definitional reflection . In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (Montreal 1993), Los Alamitos 1993, 222-232. DOI: 10.1109/LICS.1993.287585 . 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. DOI: 10.1007/3-540-58025-5_65 . Cut elimination for logics with definitional reflection and restricted initial sequents . Post-Conference Workshop on “Proof-Theoretical Extensions of Logic Programming” at the 11th International Conference on Logic Programming (ICLP’94, S. Margherita Ligure, Italy, 13–17 June 1994). Proceedings (Extended Abstracts), 18 June 1994, 44-47. DOI: 10.15496/publikation-72545 . (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. DOI: 10.1007/3-540-59338-1_40 . Frege and the resolution calculus . History and Philosophy of Logic 18 (1997), 95-108. DOI: 10.1080/01445349708837278 . Wahrscheinlichkeit . In: H. Keuth (ed.), Karl Popper: Logik der Forschung. Klassiker Auslegen, Vol. 12. Berlin: Akademie Verlag 1998, 185-213. 4th Edition 2013, 187–215. DOI: 10.1524/9783050050188.187 . 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. DOI: 10.15496/publikation-72545 . Extended version published as "Frege's sequent calculus " (2014). Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen . The Bulletin of Symbolic Logic 8 (2002), pp. 246-265. DOI of printed version: 10.2178/bsl/1182353872 . Extended version available under DOI 10.15496/publikation-69828 . Popper's inferential definitions of logical constants (Abstract) . Karl Popper 2002 - Centenary Congress (Vienna, 3-7 July 2002). Full paper published as "Popper's structuralist theory of logic" (2006). DOI: 10.15496/publikation-69821 . Definitional reflection and circular reasoning (Abstract) . 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. DOI: 10.15496/publikation-72545 . On the Notion of Assumption in Logical Systems . 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/ . Abstract and Extended Summary with DOI: 10.15496/publikation-72545 . (With P. Contu) Folgerung . In: W. Spohn, P. Schroeder-Heister and E. Olsson (eds.), Logik in der Philosophie, Heidelberg: Synchron Wissenschaftsverlag, 2005, 247-276. DOI: 10.15496/publikation-70826 . (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. DOI: 10.1007/s11229-004-6206-6 . 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. DOI: 10.15496/publikation-72306 . Publisher DOI: 10.1515/9783110923940.285 . Generalized Rules, Direct Negation, and Definitional Reflection (Abstract) . First World Congress on Universal Logic (UNILOG 2005), Montreux, Switzerland, March 31 - April 3, 2005. DOI: 10.15496/publikation-72545 . 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. DOI: 10.15496/publikation-69821 . Validity Concepts in Proof-Theoretic Semantics . In: R. Kahle, P. Schroeder-Heister (eds.), Proof-Theoretic Semantics. Synthese 148 (2006), 525-571. DOI: 10.1007/s11229-004-6296-1 . Direct negation in proof-theoretic semantics and the square of opposition (Abstract) . In: First World Congress on the Square of Opposition, Montreux, Switzerland, 1–3 June 2007. DOI: 10.15496/publikation-72545 . Full paper published as "Definitional reasoning in proof-theoretic semantics and the square of opposition" (2012). Assertion and Denial in Proof-Theoretic Semantics (Abstract and Extended Summary ). GAP6, 6th International Congress of the Society for Analytical Philosophy, Berlin, 11-14 September 2006; UNILOG’07, 2nd World Congress and School on Universal Logic, Xi’an, 16-22 August 2007; GAP7, 7th International Congress of the Society for Analytical Philosophy, Bremen, 14-17 September 2009. DOI: 10.15496/publikation-72545 . Lorenzens operative Logik und moderne beweistheoretische Semantik . In: J. Mittelstraß (ed.), Der Konstruktivismus in der Philosophie im Ausgang von Wilhelm Kamlah und Paul Lorenzen. Paderborn: Mentis 2007, 167-196. DOI: 10.30965/9783969750582_013 . Generalized Definitional Reflection and the Inversion Principle . Logica Universalis 1 (2007), 355-376. DOI: 10.1007/s11787-007-0018-7 . Proof-Theoretic versus Model-Theoretic Consequence . In: M. Peliš (ed.), The Logica Yearbook 2007, Prague: Filosofia 2008, 187-200. DOI: 10.15496/publikation-70827 . 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). DOI: 10.1007/978-3-7643-8653-5_14 . (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. DOI: 10.15496/publikation-72303 . Publisher DOI: 10.1515/9783110329094.211 . Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-Theoretic Semantics . In: M. Peliš (ed.), The Logica Yearbook 2008, London: College Publications 2009, 237-251. DOI: 10.15496/publikation-70817 . Proof-theoretic Semantics. Advanced Course , 21st European Summer School in Logic, Language and Information (ESSLLI), Bordeaux, 27–31 July 2009 (Abstract and Course Plan). DOI: 10.15496/publikation-72545 . Schluß und Umkehrschluß. Ein Beitrag zur Definitionstheorie . In: Carl Friedrich Gethmann, J. Carl Bottek, Susanne Hiekel (Hrsg.), Lebenswelt und Wissenschaft. XXI. Deutscher Kongress für Philosophie (Universität Duisburg-Essen, 15.-19. September 2008). Kolloquienbeiträge (= Deutsches Jahrbuch Philosophie, Bd. 2). Hamburg: Meiner 2011, 1065-1092. DOI: 10.15496/publikation-72308 . An alternative implication-left schema for the sequent calculus (Abstract). Bulletin of Symbolic Logic 17 (2011), 316. DOI: 10.2178/bsl/1305810915 . Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus . Journal of Philosophical Logic 40 (2011), 95-101. DOI: 10.1007/s10992-010-9149-z . Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition . Originally presented at the International Congress on the Square of Opposition (Montreux, June 1-3, 2007). Published in: Jean-Yves Béziau and Gillman Payette (eds.), The Square of Opposition: A General Framework for Cognition. Bern: Peter Lang 2012, 323-349. DOI: 10.15496/publikation-72333 . Proof-Theoretic semantics, self-contradiction, and the format of deductive reasoning . In: L. Tranchini (ed.), Anti-Realistic Notions of Truth, special issue of Topoi, vol. 31 no. 1, (2012), 77-85. DOI: 10.1007/s11245-012-9119-x . (With T. Piecha) Implications as Rules in Dialogical Semantics . In: M. Peliš and V. Punčochář (eds.), The Logica Yearbook 2011, College Publications, London, 2012, 211-225. DOI: 10.15496/publikation-70828 . 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. DOI: 10.15496/publikation-70824 . The categorical and the hypothetical: A critique of some fundamental assumptions of standard semantics . In S. Lindström, E. Palmgren, D. Westerståhl (eds.), The Philosophy of Logical Consequence and Inference , Special issue of Synthese 187 (2012), 925-942. DOI: 10.1007/s11229-011-9910-z . What is the proper logic of consequence? In: GAP8, 8th International Congress of the Society for Analytical Philosophy, Konstanz, 17-20 September 2012, 40–41. DOI: 10.15496/publikation-72545 . URL: http://www.gap8.de/mentis-gap8-druck-endversion.pdf . 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. DOI: 10.1016/j.apal.2012.10.010 . (With W. de Campos Sanz and T. Piecha) Constructive semantics, admissibility of rules and the validity of Peirce's law . Logic Journal of the IGPL 22 (2014), 297-308. DOI: 10.1093/jigpal/jzt029 . (With G. K. Olkhovikov) On Flattening Elimination Rules , Review of Symbolic Logic 7 (2014), 60-72. DOI: 10.1017/S1755020313000385 . (With G. K. Olkhovikov) Proof-theoretic harmony and the levels of rules: Generalised non-flattening results . In E. Moriconi & L. Tesconi (Eds.), Second Pisa Colloquium in Logic, Language and Epistemology, ETS, 2014, pp. 245-287. DOI: 10.15496/publikation-72309 . Generalized elimination inferences, higher-level rules, and the implications-as-rules interpretation of the sequent calculus . In L. C. Pereira, E. H. Haeusler, V. de Paiva (eds.), Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work. Heidelberg: Springer, 2014, 1-29. DOI: 10.1007/978-94-007-7548-0_1 . Proof-theoretic harmony: the issue of propositional quantification . 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, 5-16. DOI: 10.15496/publikation-72327 . 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. DOI: 10.15496/publikation-72324 . The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony , Studia Logica 102 (2014), 1185-1216. Special issue "Gentzen’s and Jaśkowski’s Heritage: 80 Years of Natural Deduction and Sequent Calculi" (ed. A. Indrzejczak). DOI: 10.1007/s11225-014-9562-3 . (With T. Piecha and W. de Campos Sanz) Failure of completeness in proof-theoretic semantics , Journal of Philosophical Logic 44 (2015), 321-335. DOI: 10.1007/s10992-014-9322-x . Harmony in proof-theoretic semantics: A reductive analysis . In H. Wansing (ed.), Dag Prawitz on Proofs and Meaning, Springer 2015, pp. 329-358. DOI: 10.1007/978-3-319-11041-7_15 . (With T. Piecha) Dialogical Logic for Definitional Reasoning and Implications as Rules . In: J. Mittelstraß & C. von Bülow (eds), Dialogische Logik, Mentis 2015, pp. 91-125. DOI: 10.30965/9783897856394_009 . 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, pp. 159-176. DOI: 10.15496/publikation-70825 . Open problems in proof-theoretic semantics . In: T. Piecha & P. Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics , Trends in Logic 43, Springer 2016, pp. 253-283. DOI: 10.1007/978-3-319-22686-6_16 . (With T. Piecha) Atomic Systems in Proof-Theoretic Semantics: Two Approaches . In: J. Redmond, O. Pombo Martins & A. N. Fernández (eds), Epistemology, Knowledge and the Impact of Interaction, Springer 2016, pp. 47-62. DOI: 10.1007/978-3-319-26506-3_2 . Restricting initial sequents: The trade-offs between identity, contraction and cut. In: R. Kahle, T. Strahm & T. Studer (eds), Advances in Proof Theory, Progress in Computer Science and Applied Logic 28, pp. 339-351, Birkhäuser 2016. DOI: 10.1007/978-3-319-29198-7_10 . (With T. Piecha) The Definitional View of Atomic Systems in Proof-Theoretic Semantics . In: P. Arazim & T. Lávička (eds), The Logica Yearbook 2016, College Publications, London, 2017, pp. 185-200. DOI: 10.15496/publikation-70829 . (With L. Tranchini) Ekman's Paradox . Notre Dame Journal of Formal Logic 58 (2017), 567-581. DOI: 10.1215/00294527-2017-0017 . (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. DOI: 10.1017/bsl.2018.13 . (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. DOI: 10.1007/s11225-018-9823-7 . (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), 2019, pp. 1-5. DOI: 10.1007/s11225-018-9818-4 . Die Grundlagen mathematischer Beweise. Philosophisch-logische Überlegungen . In: Mitteilungen der Mathematischen Gesellschaft in Hamburg 38 (2018), 117-137. (With L. Tranchini) How to Ekman a Crabbé-Tennant . In Synthese 199 (2021), 617-639. DOI: 10.1007/s11229-018-02018-3 . (With D. Binder and T. Piecha) Popper’s theory of deductive logic . In: David Binder; Thomas Piecha and Peter Schroeder-Heister (eds.), The Logical Writings of Karl Popper. Berlin: Springer, pp. 1–79. DOI: 10.1007/978-3-030-94926-6_1 . Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics . In: F. Ferreira, R. Kahle, and G. Sommaruga (Eds.), Axiomatic Thinking I, Springer 2022, 145-163. DOI: 10.1007/978-3-030-77657-2_8 . Intensional proof-theoretic semantics and the rule of contraction . In: Logically Speaking: A Festschrift for Marie Duží. Ed. by Pavel Materna and Bjørn Jespersen. London: College Publications 2022, 5-21. Prawitz's Completeness Conjecture: A Reassessment . In P. Pagin and D. Westerståhl (eds.), Dag Prawitz and Per Martin-Löf -- Rolf Schock laureates. Special issue of Theoria, 2024. II. Psychology G. Heister & P. S.-H.: A note on location of the decisional stages of choice reactions in the left hemisphere . Cortex 20 (1984), 271-275. DOI: 10.1016/S0010-9452(84)80044-1 . G. Heister & P. S.-H.: S-R compatibility effect or cerebral laterality effect. Comments on a controversy . Neuropsychologia 23 (1985), 427-430. DOI: 10.1016/0028-3932(85)90030-2 . G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility with two-finger choice reactions (Abstract) . 9th European Vision Conference, Bad Nauheim, Germany, 17–20 September 1986). Perception 15 (1986), Number 1, A33. DOI: 10.15496/publikation-72545 . G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions . Perception & Psychophysics 40 (1986), 271-278. DOI: 10.3758/BF03211507 . G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility with unimanual two-finger choice reactions: Effects of irrelevant stimulus location . Perception & Psychophysics 42 (1987), 195-201. DOI: 10.3758/BF03210508 . G. Heister & P. S.-H.: Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization . Acta Psychologica 66 (1987), 127-138. DOI: 10.1016/0001-6918(87)90029-1 . G. Heister, P. S.-H. & W. Ehrenstein: Spatial stimulus-response (S-R) compatibility under head tilt: Evidence for a factorial model (Abstract, 10th European Conference on Visual Perception, Varna, Bulgaria, 21–24 September 1987). Perception 16 (1987), Number 2, A17 (p. 241). DOI: 10.15496/publikation-72545 . DOI for all conference abstracts: 10.1068/p160225 . P. S.-H., G. Heister & W. Ehrenstein: Spatial S-R compatibility under head tilt . Acta Psychologica 69 (1988), 35-44. DOI: 10.1016/0001-6918(88)90028-5 . W. Ehrenstein, P. S.-H. & G. Heister: Spatial visuo-motor compatibility with orthogonal stimulus-response arrangement (Abstract, 11th European Conference on Visual Perception, Bristol, UK, 31 August – 3 September1988). Perception 17 (1988), Number 3, A77 (p. 415). DOI: 10.15496/publikation-72545 . W. Ehrenstein, G. Heister and P.S.-H. (1989). Spatial visuomotor compatibility as a function of retinal eccentricity (Abstract, 12th European Conference on Visual Perception, Zichron Yaakov, Israel, 17 – 22 September 1989). Perception 18, Number 4, A62 (p. 544). DOI: 10.15496/publikation-72545 . W. Ehrenstein, P. S.-H. & G. Heister: Spatial S-R compatibility with orthogonal stimulus-response relationship . Perception & Psychophysics 45 (1989), 215-220. DOI: 10.3758/BF03210700 . G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of visual half-field superiority for face perception during the menstrual cycle (Abstract, General Conference of the European Brain Behaviour Society, Zurich, Switzerland, 7–9 September 1988). Behavioural Brain Research 33 (1989), 314. DOI: 10.1016/S0166-4328(89)80124-X . G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of functional cerebral asymmetry during the menstrual cycle . Neuropsychologia 27 (1989), 871-880. DOI: 10.1016/0028-3932(89)90010-9 . G. Heister, P. S.-H. & W. Ehrenstein: Spatial coding and spatio-anatomical mapping: Evidence for a hierarchical model of spatial S-R compatibility . In: R. W. Proctor, T. G. Reeve (eds.), Stimulus-Response Compatibility: An Integrated Perspective. Amsterdam: North-Holland 1990, 117-143. DOI: 10.1016/S0166-4115(08)61220-0 . G. Heister & P. S.-H.: Spatial S-R compatibility: Positional instruction vs. compatibility instruction . Acta Psychologica 85 (1994), 15-24. DOI: 10.1016/0001-6918(94)90017-5 . III. Editions (With G. Wolters) Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. Universität Konstanz 1979. Digital Edition in: Hugo Dingler. Gesammelte Werke auf CD-ROM. Ed. by U. Weiß. Karsten Worm InfoSoftWare: Berlin 2004, Appendix, Chapters 1986 and 1987. Republished online Universität Tübingen 2022. DOI: 10.15496/publikation-69429 . Proceedings of the SNS Logic Colloquium, March 1990. SNS-Bericht 90-58. Universität Tübingen 1990. DOI: 10.15496/publikation-69809 . Extensions of Logic Programming. International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings . Springer Lecture Notes in Artificial Intelligence, Vol. 475, Berlin/Heidelberg/New York 1991. DOI: 10.1007/BFb0038689 . (With L.-H. Eriksson and L. Hallnäs), Extensions of Logic Programming. Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, Proceedings . Springer Lecture Notes in Artificial Intelligence, Vol. 596, Berlin/Heidelberg/New York 1992. DOI: 10.1007/BFb0013601 . (With K. Došen) Substructural Logics . Oxford University Press 1993. (With R. Dyckhoff and H. Herre), Extensions of Logic Programming. Fifth International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996, Proceedings . Springer Lecture Notes in Artificial Intelligence, Vol. 1050, Berlin/Heidelberg/New York 1996. DOI: 10.1007/3-540-60983-0 . (With R. Kahle and R. Stärk), Proof Theory in Computer Science. International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings . Springer Lecture Notes in Computer Science, Vol. 2183, Berlin/Heidelberg/New York 2001. DOI: 10.1007/3-540-45504-3 . (With W. Spohn and E. Olsson), Logik in der Philosophie , Synchron Wissenschaftsverlag: Heidelberg 2005. (With R. Kahle), Proof-Theoretic Semantics , Special issue of Synthese (Vol. 148 No. 3), 2006. DOI: 10.1007/s11229-004-6292-5 . (With P. E. Bour, G. Heinzmann, W. Hodges) Logic and Philosophy of Science in Nancy (I-II). Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science. (I) Philosophia Scientiae, Vol. 18 (2014) No. 3 (DOI: 10.4000/philosophiascientiae.957 ), (II) Vol. 19 (2015) No. 1 (DOI: 10.4000/philosophiascientiae.1027 ). (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 . Download of full volume under DOI: 10.15496/publikation-73440 . (With T. Piecha) Proceedings of the Conference on Hypothetical Reasoning, Tübingen 23-24 August 2014. University of Tübingen 2015. DOI: 10.15496/publikation-415 . (With T. Piecha) Advances in Proof-Theoretic Semantics. Trends in Logic 43, Springer 2016. Introduction . Download of full volume under DOI: 10.1007/978-3-319-22686-6 . (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. University of Tübingen 2016. DOI: 10.15496/publikation-10394 . (With T. Piecha) Proof Theory. Proceedings of the Workshop held at Unilog’2018 in Vichy, 25 June 2018. University of Tübingen 2018. DOI: 10.15496/publikation-25225 . (With T. Piecha) General Proof Theory. Special issue of Studia Logica (Vol. 107 No. 1, 2019). DOI: 10.1007/s11225-018-9818-4 . (With T. Piecha) Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. University of Tübingen 2019. DOI: 10.15496/publikation-35319 . (With D. Binder and T. Piecha) The Logical Writings of Karl Popper. Berlin: Springer 2022. Preface and Table of Contents . Download of full volume underDOI: 10.1007/978-3-030-94926-6 . IV. Reviews, Encyclopedia Articles, Miscellaneous Ca. 220 entries in: Enzyklopädie Philosophie und Wissenschaftstheorie. Edited by Jürgen Mittelstraß. Vol. I – IV (1980–1996), Mannheim/Wien/Zürich: Bibliographisches Institut (Vol. I-II), Stuttgart: Metzler (Vol. III-IV). 2nd Edition: Vol. I – VIII (2005–2018). Stuttgart: Metzler. Entries (1st Edition): Vol. I (27MB) , Vol. II (H-K) , Vol. II (L-O) , Vol III (23MB) , Vol. IV (16MB) . E.g. Vol. I: 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. Vol. II: intern/extern (with J. Mittelstraß); Interpretationssemantik; Kalkül des natürlichen Schließens; Kontinuumhypothese; Konzeptualismus (with S. Blasche and R. Wimmer); Kreisel, G.; Kripke, S. A.; Lambda-Kalkül; Logik, dialektische; Logik, induktive; Logik, kombinatorische; Logik, mehrwertige; Logik des "Entailment"; Lügner-Paradoxie; Menge; Mengenlehre; Mengenlehre, axiomatische; Meßtheorie; Normalform; Notation, logische; Oppenheim, P. Vol. III: Paradoxien der Implikation, Popper [see below], Principia Mathematica, Programmiersprachen, Psychophysik (with G. Heister), Quasireihe, Reduktionssatz (with M. Carrier), Regellogik, Signifikanz, Skinner (with G. Heister). Vol. IV: Statistik, Stufenlogik, Termlogik, Test (with G. Heister), Urelement, Verweistheorie, Vollformalismus, Weber-Fechnersches Gesetz (with G. Heister), Widerspruchsfreiheitsbeweis, Zufallsgenerator, zulässig/Zulässigkeit. Review of R. H. Wettstein, Eine Gegenstandstheorie der Wahrheit. Argumentativ-rekonstruierender Aktualisierungs- und Erweiterungsversuch von Kants kritischer Theorie (Königstein/Ts.: Forum Academicum 1980) . Dialectica 35 (1981), 361-362. DOI: 10.1111/j.1746-8361.1981.tb00789.x . Review of: M. D. Resnik, Frege and the Philosophy of Mathematics (Ithaca/London: Cornell University Press 1980) . History and Philosophy of Logic 4 (1983), 99-102. DOI: 10.1080/01445348308837049 . Review of: E.-H. W. Kluge, The Metaphysics of Gottlob Frege. An Essay in Ontological Reconstruction (The Hague/Boston/London: Martinus Nijhoff 1980) . History and Philosophy of Logic 5 (1984), 241-245. DOI: 10.1080/01445348408837073 . Review of: G. Currie, Frege. An Introduction to His Philosophy (Brighton: Harvester Press; Totowa NJ: Barnes & Noble 1982) . History and Philosophy of Logic 5 (1984), 239-241.DOI: 10.1080/01445348408837073 . (With U. Friedrichsdorf) Review of: G. E. Hughes & M. J. Cresswell, A Companion to Modal Logic (London: Methuen 1984) . Journal of Semantics 4 (1985), 389-390. DOI: 10.1093/jos/4.4.389 . Essay review of: G. Frege, Collected Papers on Mathematics, Logic, and Philosophy. Ed. by B. McGuinness. Trans. by M. Black, V. H. Dudman, P. Geach, H. Kaal, E.-H. W. Kluge, B. McGuinness and R. H. Stoothoff (Oxford/New York: Blackwell1984) . History and Philosophy of Logic 7 (1986), 187-193. DOI: 10.1080/01445348608837101 . Reviews no. MR0869008 , MR0875532 , MR0877309 , MR0902364 , MR0920132 , MR0934575 , MR0990559 , MR1029453 , MR1172519 . In: Mathematical Reviews. American Mathematical Society, 1988-1994. URL: https://mathscinet.ams.org/mathscinet . Review of: W. Schüler, Grundlegungen der Mathematik in transzendentaler Kritik. Frege und Hilbert (Hamburg: Meiner 1983) . Journal of Symbolic Logic 54 (1989), 622. DOI: 10.2307/2274880 . (With L. Hallnäs) Girard’s “fixpoint theorem” . In: Linear Logic Mailing List (Included in TYPES Forum), 19 February 1992. DOI: 10.15496/publikation-70816 . URL: https://www.seas.upenn.edu/~sweirich/types/archive/1992/msg00043.html . Entry "Schließen, natürliches" in: J. Ritter & K. Gründer (Eds.), Historisches Wörterbuch der Philosophie, Vol. 8, Basel/Darmstadt 1992, 1300-1303. DOI: 10.24894/HWPh.3706 . Entry "Selbstreferenz (I. Logik)" in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 9, Basel/Darmstadt 1995, 515-516. DOI: 10.24894/HWPh.5435 . Entry "Popper, Karl Raimund" in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Vol. 3, Stuttgart/Weimar: Metzler 1995, 289-296. 2nd Edition: Vol. 6, 2016, 369-377. (With H. Herre) Formal languages and systems . Routledge Encyclopedia of Philosophy, London 1998. DOI: 10.4324/9780415249126-Y011-1 . Ein Logik-Lotse geht von Bord: Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering . Schwäbisches Tagblatt, 4. 12. 1998, S. 27. DOI: 10.15496/publikation-68456 . Entry "Popper, Sir Karl Raimund" in: Neue Deutsche Biographie, ed. Historische Kommission bei der Bayerischen Akademie der Wissenschaften, Vol. 20, Berlin: Duncker & Humblot 2001, 625-628. URL: https://www.deutsche-biographie.de/pnd118595830.html#ndbcontent . Prof. Dr. Walter Felscher (Obituary) . Tübinger Universitätsnachrichten, Vol. 21, No. 100, 9 April 2001. DOI: 10.15496/publikation-68455 . Entry "Popper, Karl Raimund (1902-94)" in: International Encyclopedia of the Social & Behavioral Sciences. Ed. by James D. Wright. Elsevier, 2001. Second Edition, Vol. 18, Oxford: Elsevier 2015, 522–527. DOI: 10.1016/B978-0-08-097086-8.61109-1 . Proof-Theoretic Semantics: Some Basic Ideas (Manuscript 2003). Published online together with the manuscript “Proof-Theoretic and Constructive Consequence" (2003). University of Tübingen. DOI: 10.15496/publikation-72548 . Entry "Dummett, Michael Anthony Eardley" in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2nd Edition, Vol. 2 (C-F), Stuttgart/Weimar: Metzler 2005, 258-262. Prof. Dr. Gisbert Hasenjaeger (1.6.1919-2.9.2006) (Obituary) . Chronik und Bericht der Rheinischen Friedrich-Wilhelms-Universität Bonn über das Akademische Jahr 2005/2006, 57-59 (according to the practices of the publication organ an unsigned contribution, based on a manuscript by P.S.-H.). DOI: https://nbn-resolving.de/urn:nbn:de:hbz:5:2-251940 . The categorical and the hypothetical: an inferentialist critique of the transmission view of consequence. Draft (2008) submitted for a special issue of Erkenntnis on inferentialism that did not materialize. DOI: 10.15496/publikation-70814 . Proof-Theoretic Semantics (Manuscript 2011). University of Tübingen. DOI: 10.15496/publikation-72550 . Entry "Proof-Theoretic Semantics ", in: Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.) Metaphysics Research Lab, Stanford University. First published 2012. Revised 2018 and 2023. (With L. Hallnäs) General proof theory and definitional reflection. Notes dedicated to Dag Prawitz on his 80th birthday (2016). DOI: 10.15496/publikation-70815 . Kosta Došen 1954–2017. Obituaries. DOI: 10.15496/publikation-72328 . Kosta Došen (1954-2017) . In T. Piecha and P. Schroeder-Heister (eds), Special issue on General Proof Theory, Studia Logica 107(1), 7-9, 2019. DOI: 10.1007/s11225-018-9814-8 . Springer Nature Sharedit: https://rdcu.be/25R7 . Die Logik in allen ihren Aspekten. Zum Tode von Prof. Dr. Dr. Walter Hoering (Obituary) . Newsletter Uni Tübingen aktuell No. 4/2019. DOI: 10.15496/publikation-69428 . (With M. Heidelberger) Walter Hoering (1933–2019). Grabrede und Nachruf. Universität Tübingen 2019. DOI: 10.15496/publikation-69428 . Pandemic ponderings: reflections of a pencil and paper academic. In: Pandemic Ponderings: Fellow Reflections beyond Corona. Ed. by Christina Garsten and Sandra Maria Rekanovic. Uppsala: Sweidish Collegium for Advanced Study (SCAS) 2022, 25–31. (With K. R. Popper) Popper’s correspondence with Peter Schroeder-Heister. In: The Logical Writings of Karl Popper. Ed. by David Binder, Thomas Piecha and Peter Schroeder-Heister. Berlin: Springer 2022, 509–522. DOI: 10.1007/978-3-030-94926-6_32 . Proof-Theoretic Semantics: An Autobiographical Survey . In: Thomas Piecha & Kai Wehmeier (eds), Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding Contributions to Logic 29 , Springer 2024, 1-51. DOI: 10.1007/978-3-031-50981-0_1 . Comments on the contributions . In: Thomas Piecha & Kai Wehmeier (eds), Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding Contributions to Logic 29 , Springer 2024, 443-455. DOI: 10.1007/978-3-031-50981-0_17 . Curriculum vitae