Sisäänkirjautuminen

Piecha, Thomas

Advances in Proof-Theoretic Semantics

Piecha, Thomas - Advances in Proof-Theoretic Semantics, e-kirja

0,00€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783319226866
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Toimittaja
 
Julkaisija
Springer
Julkaisuvuosi
2016
Kieli
en
Painos
1
Sarja
Trends in Logic
Kategoria
Filosofia
Tiedostomuoto
E-kirja
eISBN (PDF)
9783319226866
Painetun ISBN
978-3-319-22685-9

Samankaltaisia e-kirjoja