Publications

Articles

• Will Stafford, Thomas Piecha & Peter Schroeder-Heister, Logics of proof-theoretic validity, submitted 2024.
• Thomas Piecha, Karl Popper on Deduction. In: A. Piccolomini d'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction, Synthese Library Vol. 481, Springer 2024, pp. 301-321.
• David Binder & Thomas Piecha, Administrative Normal Form and Focusing for Lambda Calculi. In: P. Materna & B. Jespersen  (eds), Logically Speaking: A Festschrift for Marie Duží, Tributes Vol. 49, College Publications 2022, pp. 149-186. (Draft)
• David Binder, Thomas Piecha & Peter Schroeder-Heister, Popper's Theory of Deductive Logic. In: D. Binder, T. Piecha & P. Schroeder-Heister (eds), The Logical Writings of Karl Popper, Trends in Logic 58, Springer 2022, pp. 1-79.
• David Binder & Thomas Piecha, Popper on Quantification and Identity. In: Z. Parusniková & D. Merritt (eds), Karl Popper’s Science and Philosophy, Springer 2021, pp. 149-169. (Draft)
• Thomas Piecha & Peter Schroeder-Heister, General Proof Theory: Introduction, Studia Logica 107(1), 1-5, 2019. Available online at https://doi.org/10.1007/s11225-018-9818-4  and via Springer Nature SharedIt at https://rdcu.be/6hGW.
• Thomas Piecha & Peter Schroeder-Heister, Incompleteness of intuitionistic logic with respect to proof-theoretic semantics, Studia Logica 107(1), 233-246, 2019. Available online at https://doi.org/10.1007/s11225-018-9823-7 and via Springer Nature SharedIt at https://rdcu.be/5dDs.
• David Binder & Thomas Piecha, Popper’s Notion of Duality and His Theory of Negations, History and Philosophy of Logic 38(2), 154-189, 2017. DOI: 10.1080/01445340.2016.1278517. Published online: 25 Jan 2017. (Draft)
• Thomas Piecha & Peter Schroeder-Heister, Intuitionistic logic is not complete for standard proof-theoretic semantics. Abstract for the ASL Logic Colloquium 2017, Stockholm 14-20 August. The Bulletin of Symbolic Logic 24, 262, 2018. (Draft)
• Thomas Piecha & Peter Schroeder-Heister, 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.
• Thomas Piecha, Completeness in Proof-Theoretic Semantics. In: T. Piecha & P. Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016, pp. 231-251.
• Thomas Piecha & Peter Schroeder-Heister, Atomic systems in Proof-Theoretic Semantics: Two Approaches. In: J. Redmond, O. Pombo Martins & Á. Nepomuceno Fernández (eds), Epistemology, Knowledge and the Impact of Interaction, Springer 2016, pp. 47-62. (Draft)
• Thomas Piecha & Peter Schroeder-Heister, Dialogical Logic for Definitional Reasoning and Implications as Rules. In: J. Mittelstraß & C. von Bülow (eds), Dialogische Logik, pp. 91-125, Mentis 2015.
• Thomas Piecha, Dialogical Logic. In: The Internet Encyclopedia of Philosophy, 2015.
• Thomas Piecha, Hypothetical Reasoning, 23-24 August. The Reasoner 8(10), 113-114, October 2014.
• Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister, Failure of completeness in proof-theoretic semantics, Journal of Philosophical Logic 44, 321-335, 2015. First published online August 1, 2014. (Draft)
• Wagner de Campos Sanz & Thomas Piecha, A Critical Remark on the BHK Interpretation of Implication, Philosophia Scientiae 18(3), 13-22, 2014. DOI : 10.4000/philosophiascientiae.965. (Draft)
• Wagner de Campos Sanz, Thomas Piecha & Peter Schroeder-Heister: Constructive semantics, admissibility of rules and the validity of Peirce's law. Logic Journal of the IGPL 22, 297-308, 2014. First published online: August 6, 2013, doi:10.1093/jigpal/jzt029. (Draft)
• Thomas Piecha & Peter Schroeder-Heister, Implications as Rules in Dialogical Semantics. In: M. Peliš and V. Punčochář (eds), The Logica Yearbook 2011, College Publications, London, 2012, pp. 211-225. (Draft)
• Wagner de Campos Sanz & Thomas Piecha: A criticism of the BHK interpretation. Abstract for the ASL Logic Colloquium 2010, Paris, 25-31 July. The Bulletin of Symbolic Logic 17 (2011), 292. (Draft)
• Thomas Piecha, Dialogues, End-Rules and Definitional Reasoning. Abstract in: First Meeting on Logic in Centro-Oeste, Universidade Federal de Goiás, Goiânia, Brazil, 24 September 2010. Almeida & Clément Edições, 2010.
• Thomas Piecha & Wagner de Campos Sanz, Inversion of Logical Rules by Definitional Reflection. In: K. Brünnler and T. Studer (eds), Proof, Computation, Complexity PCC 2010, International Workshop, Proceedings, Technical report IAM-10-001, 2010.
• Wagner de Campos Sanz & Thomas Piecha, Inversion and the Admissibility of Logical Rules. In: C. Drossos, P. Peppas & C. Tsinakis (eds), Proceedings of the 7th Panhellenic Logic Symposium, Patras University Press 2009, pp. 147-151.
• Wagner de Campos Sanz & Thomas Piecha, Inversion by Definitional Reflection and the Admissibility of Logical Rules, The Review of Symbolic Logic 2, 550-569, 2009. (© 2009 Association for Symbolic Logic)

Editions / Books

• Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha & Jan von Plato (eds), Celebrating 90 Years of Gödel’s Incompleteness Theorems: Historical and Philosophical Perspectives, special issue of History and Philosophy of Logic (2025).
• Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha & Jan von Plato (eds), Celebrating 90 Years of Gödel’s Incompleteness Theorems: Logic and Computation, special issue of the Journal of Logic and Computation (2024).
• Thomas Piecha & Kai F. Wehmeier (eds), Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding Contributions to Logic 29, Springer 2024.

• 

• David Binder, Thomas Piecha & Peter Schroeder-Heister (eds), The Logical Writings of Karl Popper, Trends in Logic 58, Springer 2022.

• 

    – Book review by Constantin C. Brîncuş in History and Philosophy of Logic

• Thomas Piecha & Peter Schroeder-Heister (eds), Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. URI: http://dx.doi.org/10.15496/publikation-35319, University of Tübingen 2019.
• Thomas Piecha & Peter Schroeder-Heister (eds), General Proof Theory, special issue of Studia Logica 107 (2019).
• Thomas Piecha & Peter Schroeder-Heister (eds), Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018, URI: http://dx.doi.org/10.15496/publikation-25225, University of Tübingen 2018.
• Jean Fichot & Thomas Piecha (eds), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017, URI: http://dx.doi.org/10.15496/publikation-18676, Paris 1 Panthéon-Sorbonne and University of Tübingen 2017.
• Thomas Piecha & Peter Schroeder-Heister (eds), General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015, URI: http://dx.doi.org/10.15496/publikation-10394, University of Tübingen 2016.
• Thomas Piecha & Peter Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016.

    – Introduction

    – Book review by Greg Restall in Notre Dame Philosophical Reviews

• Thomas Piecha & Peter Schroeder-Heister (eds), 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.

Theses

• Thomas Piecha, Formal Dialogue Semantics for Definitional Reasoning and Implications as Rules, Doctoral Dissertation (PhD Thesis), Department of Computer Science, Faculty of Science, University of Tübingen, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-63563
• Thomas Piecha, Physikalische Berechenbarkeitsmodelle und die Churchsche These (Physical Models of Computation and Church's Thesis), Magister Thesis in Philosophy, University of Tübingen 2005.
• Thomas Piecha, Physikalische Grundlagen von Quantenrechnern (Physical Foundations of Quantum Computation), Diploma Thesis in Physics, University of Tübingen 2004.