Inversion by Definitional Reflection and the Admissibility of Logical Rules. - Wagner de Campos Sanz; Thomas Piecha (Rev. Symb. Log., 2009)

Constructive semantics, admissibility of rules and the validity of Peirce's law. - Wagner de Campos Sanz; Thomas Piecha; Peter Schroeder-Heister (Log. J. IGPL, 2014)

Failure of Completeness in Proof-Theoretic Semantics. - Thomas Piecha; Wagner de Campos Sanz; Peter Schroeder-Heister (J. Philos. Log., 2015)

Completeness in Proof-Theoretic Semantics. - Thomas Piecha (Advances in Proof-Theoretic Semantics, 2016)

Advances in Proof-Theoretic Semantics: Introduction. - Thomas Piecha; Peter Schroeder-Heister (Advances in Proof-Theoretic Semantics, 2016)

General Proof Theory: Introduction. - Thomas Piecha; Peter Schroeder-Heister (Stud Logica, 2019)

Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. - Thomas Piecha; Peter Schroeder-Heister (Stud Logica, 2019)

Karl Popper on Deduction. - Thomas Piecha (Perspectives on Deduction, 2024)

90 years of Gödel's incompleteness theorems: Logic and computation. - Matthias Baaz; Marcel Ertel; Reinhard Kahle; Thomas Piecha; Jan von Plato (J. Log. Comput., 2024)