Login

Piecha, Thomas

Advances in Proof-Theoretic Semantics

Piecha, Thomas - Advances in Proof-Theoretic Semantics, ebook

0,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319226866
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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
 
Publisher
Springer
Publication year
2016
Language
en
Edition
1
Series
Trends in Logic
Category
Philosophy
Format
Ebook
eISBN (PDF)
9783319226866
Printed ISBN
978-3-319-22685-9

Similar titles