Advances in Proof-Theoretic Semantics

1. Advances in Proof-Theoretic Semantics: Introduction
Thomas Piecha, Peter Schroeder-Heister

2. On the Relation Between Heyting’s andGentzen’s Approaches to Meaning
Dag Prawitz

3. Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
Walter Dean, Hidenori Kurokawa

4. On the Paths of Categories
Kosta Došen

5. Some Remarks on Proof-Theoretic Semantics
Roy Dyckhoff

6. Categorical Harmony and Paradoxes inProof-Theoretic Semantics
Yoshihiro Maruyama

7. The Paradox of Knowability from an Intuitionistic Standpoint
Gabriele Usberti

8. Explicit Composition and Its Application in Proofs of Normalization
Jan Plato

9. Towards a Proof-Theoretic Semantics of Equalities
Reinhard Kahle

10. On the Proof-Theoretic Foundations of Set Theory
Lars Hallnäs

11. A Strongly Differing Opinion on Proof-Theoretic Semantics?
Wilfrid Hodges

12. Comments on an Opinion
Kosta Došen

13. On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
Warren Goldfarb

14. Self-contradictory Reasoning
Jan Ekman

15. Completeness in Proof-Theoretic Semantics
Thomas Piecha

16. Open Problems in Proof-Theoretic Semantics
Peter Schroeder-Heister

Keywords: Philosophy, Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages