Browsing Universitätsbibliographie by Author "Piecha, Thomas"

Now showing items 1-20 of 20

A Critical Remark on the BHK Interpretation of Implication

de Campos Sanz, Wagner; Piecha, Thomas (2014)
Advances in proof-theoretic semantics

Piecha, T.; Schroeder-Heister, P. (2016)
Atomic systems in proof-theoretic semantics : Two approaches

Piecha, T.; Schroeder-Heister, P. (2016)
Completeness in proof-theoretic semantics

Piecha, T. (2016)
Constructive semantics, admissibility of rules and the validity of Peirce's law

Sanz, Wagner de Campos; Piecha, Thomas; Schroeder-Heister, Peter (2014)
Dialogical Logic

Piecha, Thomas (2015)
Dialogical Logic for Definitonal Reasoning and Implications as Rules

Schroeder-Heister, Peter; Piecha, Thomas (2015)
Failure of Completeness in Proof-Theoretic Semantics

Piecha, Thomas; Sanz, Wagner de Campos; Schroeder-Heister, Peter (2015)
Formal dialogue semantics for definitional reasoning and implications as rules

Piecha, Thomas (2012)
General Proof Theory : celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015

Piecha, Thomas [HerausgeberIn]; Schroeder-Heister, Peter [HerausgeberIn] (2016)
General Proof Theory: Introduction

Schroeder-Heister, Peter; Piecha, Thomas (2019)
Hypothetical Reasoning

Piecha, Thomas (2014)
Implications as Rules in Dialogical Semantics

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

Piecha, Thomas; Schroeder-Heister, Peter (2019)
Popper's Notion of Duality and His Theory of Negations

Binder, David; Piecha, Thomas (2017)
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen

Piecha, Thomas; Schroeder-Heister, Peter (2015)
Proof Theory

Piecha, Thomas; Schroeder-Heister, Peter (2018)
Proof-theoretic semantics : assessment and future perspectives : proceedings of the third Tübingen Conference on Proof-theoretic semantics 27-30 March 2019

Piecha, Thomas [HerausgeberIn]; Schroeder-Heister, Peter [HerausgeberIn] (2019)
The Definitional View of Atomic Systems in Proof-Theoretic Semantics

Schroeder-Heister, Peter; Piecha, Thomas (2017)
The Logical Writings of Karl Popper

Binder, David; Schroeder-Heister, Peter; Piecha, Thomas (2022)

Now showing items 1-20 of 20

Report a Publication

Help

Browse

All of DSpace
This Community

Browsing Universitätsbibliographie by Author "Piecha, Thomas"

DSpace Repository

Browsing Universitätsbibliographie by Author "Piecha, Thomas"

Browse

All of DSpace

This Community

My Account