Piecha, Thomas
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
- Editor
- Piecha, Thomas
- Schroeder-Heister, Peter
- Publisher
- Springer
- Publication year
- 2016
- Language
- en
- Edition
- 1
- Series
- Trends in Logic
- Page amount
- 6 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9783319226866
- Printed ISBN
- 978-3-319-22685-9