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

Advances in Proof-Theoretic Semantics

Overview of attention for book
Advances in Proof-Theoretic Semantics
Springer International Publishing

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
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Explicit Composition and Its Application in Proofs of Normalization
Chapter number 8
Book title
Advances in Proof-Theoretic Semantics
Published in
Trends in Logic, October 2015
DOI 10.1007/978-3-319-22686-6_8
Book ISBNs
978-3-31-922685-9, 978-3-31-922686-6
Authors

Jan von Plato, von Plato, Jan

Editors

Thomas Piecha, Peter Schroeder-Heister

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.