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

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
Attention for Chapter 8: Explicit Composition and Its Application in Proofs of Normalization
Altmetric Badge

Citations

dimensions_citation
17 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 17 publications that cite this research output.

17

The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.