Logik und Sprachtheorie

List of Publications

I. Logic, Philosophy and Computer Science

  1. 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.
  2. 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.
  3. Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren. Conceptus 16 (1982), 45-59. DOI: 10.15496/publikation-72304.
  4. 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.
  5. 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.
  6. 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
  7. 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.
  8. A natural extension of natural deduction. Journal of Symbolic Logic 49 (1984), 1284-1300. DOI: 10.2307/2274279.
  9. 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.
  10. Natural deduction calculi with rules of higher levels (Abstract). Journal of Symbolic Logic 50 (1985), 275-276. DOI: 10.2307/2273818.
  11. 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.
  12. (With K. Došen) Conservativeness and uniqueness. Theoria 51 (1985), 159-173. DOI: 10.1111/j.1755-2567.1985.tb00093.x.
  13. (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.
  14. Structural Frameworks with Higher-Level Rules. Philosophical Investigations on the Foundations of Formal Reasoning. Habilitationsschrift. University of Konstanz 1987. DOI: 10.15496/publikation-69827.
  15. A model-theoretic reconstruction of Frege's permutation argument. Notre Dame Journal of Formal Logic 28 (1987), 69-79. DOI: 10.1305/ndjfl/1093636847.
  16. (With K. Došen) A general interpolation and definability theorem (Abstract). Journal of Symbolic Logic 52 (1987), 315-316. DOI: 10.2307/2273893.
  17. Judgements of higher levels in Martin-Löf's logical theory (Abstract). Journal of Symbolic Logic 52 (1987), 1083. DOI: 10.2307/2273851.
  18. (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.
  19. (With K. Došen) Uniqueness, definability and interpolation. Journal of Symbolic Logic 53 (1988), 554-570. DOI: 10.2307/2274524.
  20. (With F. Schaefer) Reduction, representation and commensurability of theories. Philosophy of Science 56 (1989), 130-157. DOI: 10.1086/289476.
  21. (With Lars Hallnäs) Logic programming with higher-level rules (Abstract). Journal of Symbolic Logic 54 (1989), 656-657. DOI: 10.2307/2274896.
  22. 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.
  23. (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.
  24. (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.
  25. 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.
  26. Uniform proof-theoretic semantics for logical constants (Abstract). Journal of Symbolic Logic 56 (1991), 1142. DOI: 10.2307/2275092.
  27. 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.
  28. 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.
  29. (With L. Hallnäs) Local reflection in inductive definitions: The D-rule (Abstract). Journal of Symbolic Logic 57 (1992), 300. DOI: 10.2307/2275203.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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). DOI: 10.15496/publikation-72545.
  35. (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.
  36. Frege and the resolution calculus. History and Philosophy of Logic 18 (1997), 95-108. DOI: 10.1080/01445349708837278.
  37. 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.
  38. 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).
  39. 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
  40. 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.
  41. 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.
  42. 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.
  43. (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.
  44. (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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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). 
  50. 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.
  51. 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.
  52. Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1 (2007), 355-376. DOI: 10.1007/s11787-007-0018-7.
  53. Proof-Theoretic versus Model-Theoretic Consequence. In: M. Peliš (ed.), The Logica Yearbook 2007, Prague: Filosofia 2008, 187-200. DOI: 10.15496/publikation-70827.
  54. 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.
  55. (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.
  56. 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.
  57. 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.
  58. 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.
  59.  An alternative implication-left schema for the sequent calculus (Abstract). Bulletin of Symbolic Logic 17 (2011), 316. DOI: 10.2178/bsl/1305810915.
  60. 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.
  61. 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.
  62. 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.
  63. (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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. (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.
  69. (With G. K. Olkhovikov) On Flattening Elimination Rules, Review of Symbolic Logic 7 (2014), 60-72. DOI: 10.1017/S1755020313000385.
  70. (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.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. (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
  76. 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.
  77. (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.
  78. 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.
  79. 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.
  80. (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.
  81. 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.
  82. (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.
  83. (With L. Tranchini) Ekman's Paradox. Notre Dame Journal of Formal Logic 58 (2017), 567-581. https://doi.org/10.1215/00294527-2017-0017.
  84. (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.
  85. (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.
  86. (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
  87. Die Grundlagen mathematischer Beweise. Philosophisch-logische Überlegungen. In: Mitteilungen der Mathematischen Gesellschaft in Hamburg 38 (2018), 117-137.
  88. (With L. Tranchini) How to Ekman a Crabbé-Tennant. In Synthese 199 (2021), 617-639. DOI: 10.1007/s11229-018-02018-3.
  89. (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.
  90. 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.
  91. 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.

II. Psychology

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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

  1. (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.
  2. Proceedings of the SNS Logic Colloquium, March 1990. SNS-Bericht 90-58. Universität Tübingen 1990. DOI: 10.15496/publikation-69809.
  3. 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
  4. (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.
  5. (With K. Došen) Substructural Logics. Oxford University Press 1993. 
  6. (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.
  7. (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.
  8. (With W. Spohn and E. Olsson), Logik in der Philosophie, Synchron Wissenschaftsverlag: Heidelberg 2005. 
  9. (With R. Kahle), Proof-Theoretic Semantics, Special issue of Synthese (Vol. 148 No. 3), 2006. DOI: 10.1007/s11229-004-6292-5.
  10. (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). 
  11. (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.
  12. (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.
  13. (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.
  14. (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.
  15. (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.
  16. (With T. Piecha) General Proof Theory. Special issue of Studia Logica (Vol. 107 No. 1, 2019). DOI: 10.1007/s11225-018-9818-4.
  17. (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.
  18. (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. Book Reviews, Encyclopedia Articles, Miscellaneous

  1. Ca.50 articles (27 MB) 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. 
  2. Review of R. H. Wettstein, Eine Gegenstandstheorie der Wahrheit. Argumentativ-rekonstruierender Aktualisierungs- und Erweiterungsversuch von Kants kritischer Theorie (Königstein/Ts. 1980). Dialectica 35 (1981), 361-362.
  3. Review of: M. D. Resnik, Frege and the Philosophy of Mathematics (Ithaca/London 1980). History and Philosophy of Logic 4 (1983), 99-102.
  4. Ca. 80 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 2 (H-O), Mannheim/Wien/Zürich 1984, e.g.: 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. Offprint request
  5. Review of: E.-H. W. Kluge, The Metaphysics of Gottlob Frege. An Essay in Ontological Reconstruction (The Hague/Boston/London 1980). History and Philosophy of Logic 5 (1984), 241-245.
  6. Review of: G. Currie, Frege. An Introduction to His Philosophy (Brighton/Totowa N.J. 1982). History and Philosophy of Logic 5 (1984), 239-241.
  7. Review article on: G. Frege, Collected Papers on Mathematics, Logic, and Philosophy (B. McGuinness, ed., Oxford/New York 1984). History and Philosophy of Logic 7 (1986), 187-193.
  8. (With U. Friedrichsdorf) Review of: G. E. Hughes & M. J. Cresswell, A companion to modal logic (London 1984). Journal of Semantics 4 (1985), 389-390.
  9. Review of: W. Schüler, Grundlegungen der Mathematik in transzendentaler Kritik. Frege und Hilbert (Hamburg 1983). Journal of Symbolic Logic 54 (1989), 622.
  10. 10 Short Reviews in: Mathematical Reviews (3x1988, 2x1989, 3x1990, 1x1991, 1x1994).
  11. Entry "Schließen, natürliches" in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 8, Basel/Darmstadt 1992, 1300-1303.
  12. Review of: M. Detlefsen, Proof and Knowledge in Mathematics (London/New York 1992). History and Philosophy of Logic (in preparation).
  13. Entry "Selbstreferenz" (I. Logik) in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 9, Basel/Darmstadt 1995, 515-516. Offprint request
  14. (With H. Herre) Formal languages and systems. Routledge Encyclopedia of Philosophy, London 1998.
  15. Ca. 40 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3 (P-So), Stuttgart/Weimar 1995, e.g.: Paradoxien der Implikation, Popper [see below], Principia Mathematica, Programmiersprachen, Psychophysik (with G. Heister), Quasireihe, Reduktionssatz (with M. Carrier), Regellogik, Signifikanz, Skinner (with G. Heister). Offprint request
  16. Entry "Popper" in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3, Stuttgart/Weimar 1995, 289-296. Offprint request
  17. Ca. 30 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4 (Sp-Z), Stuttgart/Weimar 1996, e.g.: Statistik, Stufenlogik, Termlogik, Test (with G. Heister), Urelement, Verweistheorie, Vollformalismus, Weber-Fechnersches Gesetz (with G. Heister), Widerspruchsfreiheitsbeweis, Zufallsgenerator, zulässig/Zulässigkeit. Offprint request
  18. Ein Logik-Lotse geht von Bord: Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering. Schwäbisches Tagblatt, 4. 12. 1998, S. 27.
  19. 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
  20. Review of: G. Frege, Idéographie (Traduction, Paris 1999). Isis 91 (2000).
  21. Nachruf auf Prof. Dr. Walter Felscher. Tübinger Universitätsnachrichten, 9. April 2001 · Jahrgang 21 · Nr.100.
  22. Entry "Popper, Karl Raimund" in: International Encyclopedia of the Social and Behavioral Sciences, Elsevier, 2001.
  23. Ca. 50 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl., Bde. 1 & 2 (A-F), Stuttgart/Weimar 2005, e.g.: Baum (logisch-mathematisch), Bunge, Dummett [see below], exponibilia, Fuzzy Logic. Offprint request
  24. Entry "Dummett, M.A.E." in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl., Bd. 2 (C-F), Stuttgart/Weimar 2005, 258-262. Offprint request
  25. 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
  26. Entry "Verhältnis/Beziehung" in: P. Kolmer/A.G. Wildfeuer (eds.), Neues Handbuch philosophischer Grundbegriffe (in Vorbereitung).
  27. Entry "Proof-Theoretic Semantics", in: Stanford Encyclopedia of Philosophy (Ed Zalta, ed.), forthcoming URL = http://plato.stanford.edu/archives/win2012/entries/proof-theoretic-semantics/.
  28. Obituary Notice: Kosta Došen (1954-2017).
  29. 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.  Available online at https://doi.org/10.1007/s11225-018-9814-8 and via Springer Nature Sharedit at: https://rdcu.be/25R7. (Final version)
  30. Die Logik in allen ihren Aspekten. Zum Tode von Prof. Dr. Dr. Walter Hoering. Newsletter Uni-Tübingen aktuell Nr. 4/2019.

Curriculum vitae