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

Intuitionistic Proof Versus Classical Truth

Overview of attention for book
Cover of 'Intuitionistic Proof Versus Classical Truth'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Brouwer, Dummett and the Bar Theorem
  3. Altmetric Badge
    Chapter 2 Creative Subject and Bar Theorem
  4. Altmetric Badge
    Chapter 3 Natural Intuitionistic Semantics and Generalized Beth Semantics
  5. Altmetric Badge
    Chapter 4 Connection Between the Principle of Inductive Evidence and the Bar Theorem
  6. Altmetric Badge
    Chapter 5 On the Brouwerian Concept of Negative Continuity
  7. Altmetric Badge
    Chapter 6 Classical and Intuitionistic Semantical Groundedness
  8. Altmetric Badge
    Chapter 7 Brouwer’s Equivalence Between Virtual and Inextensible Order
  9. Altmetric Badge
    Chapter 8 An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds
  10. Altmetric Badge
    Chapter 9 Propositions and Judgements in Martin-Löf
  11. Altmetric Badge
    Chapter 10 Negationless Intuitionism
  12. Altmetric Badge
    Chapter 11 Temporal and Atemporal Truth in Intuitionistic Mathematics
  13. Altmetric Badge
    Chapter 12 Arbitrary Reference in Mathematical Reasoning
  14. Altmetric Badge
    Chapter 13 The Priority of Arithmetical Truth over Arithmetical Provability
  15. Altmetric Badge
    Chapter 14 The Impredicativity of the Intuitionistic Meaning of Logical Constants
  16. Altmetric Badge
    Chapter 15 The Intuitionistic Meaning of Logical Constants and Fallible Models
Attention for Chapter 8: An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds
Altmetric Badge
Summary
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
An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds
Chapter number 8
Book title
Intuitionistic Proof Versus Classical Truth
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-74357-8_8
Book ISBNs
978-3-31-974356-1, 978-3-31-974357-8
Authors

Enrico Martino

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.