Thomas Piecha

According to our database, Thomas Piecha authored at least 9 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Karl Popper on Deduction.

Thomas Piecha

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2019

Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.

Thomas Piecha, Peter Schroeder-Heister

Stud Logica, 2019

General Proof Theory: Introduction.

Thomas Piecha, Peter Schroeder-Heister

Stud Logica, 2019

2016

Advances in Proof-Theoretic Semantics: Introduction.

Thomas Piecha, Peter Schroeder-Heister

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

Completeness in Proof-Theoretic Semantics.

Thomas Piecha

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2015

Failure of Completeness in Proof-Theoretic Semantics.

Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister

J. Philos. Log., 2015

2014

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

2009

Inversion by Definitional Reflection and the Admissibility of Logical Rules.

Wagner de Campos Sanz, Thomas Piecha

Rev. Symb. Log., 2009