↓ Skip to main content
Embed badge What is this page?

Advances in Proof-Theoretic Semantics

Overview of attention for book
Cover of 'Advances in Proof-Theoretic Semantics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Advances in Proof-Theoretic Semantics: Introduction
  3. Altmetric Badge
    Chapter 2 On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
  4. Altmetric Badge
    Chapter 3 Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
  5. Altmetric Badge
    Chapter 4 On the Paths of Categories
  6. Altmetric Badge
    Chapter 5 Some Remarks on Proof-Theoretic Semantics
  7. Altmetric Badge
    Chapter 6 Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
  8. Altmetric Badge
    Chapter 7 The Paradox of Knowability from an Intuitionistic Standpoint
  9. Altmetric Badge
    Chapter 8 Explicit Composition and Its Application in Proofs of Normalization
  10. Altmetric Badge
    Chapter 9 Towards a Proof-Theoretic Semantics of Equalities
  11. Altmetric Badge
    Chapter 10 On the Proof-Theoretic Foundations of Set Theory
  12. Altmetric Badge
    Chapter 11 A Strongly Differing Opinion on Proof-Theoretic Semantics?
  13. Altmetric Badge
    Chapter 12 Comments on an Opinion
  14. Altmetric Badge
    Chapter 13 On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
  15. Altmetric Badge
    Chapter 14 Self-contradictory Reasoning
  16. Altmetric Badge
    Chapter 15 Completeness in Proof-Theoretic Semantics
  17. Altmetric Badge
    Chapter 16 Advances in Proof-Theoretic Semantics
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
twitter
12 tweeters
facebook
1 Facebook page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
36 Mendeley

What is this page?

Summary Blogs Twitter Facebook Dimensions citations

This page is provided by Altmetric.