Thomas Piecha

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Operational Semantics

Default Reasoning

Deduction Rules

Top Venues

J. Philos. Log.

Publications

Thomas Piecha, Peter Schroeder-Heister
General Proof Theory: Introduction. Stud Logica 107 (1) (2019)
Thomas Piecha, Peter Schroeder-Heister
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Stud Logica 107 (1) (2019)
Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister
Failure of Completeness in Proof-Theoretic Semantics. J. Philos. Log. 44 (3) (2015)
Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister
Constructive semantics, admissibility of rules and the validity of Peirce's law. Log. J. IGPL 22 (2) (2014)
Wagner de Campos Sanz, Thomas Piecha
Inversion by Definitional Reflection and the Admissibility of Logical Rules. Rev. Symb. Log. 2 (3) (2009)