↓ 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 1: Brouwer, Dummett and the Bar Theorem
Altmetric Badge

Citations

dimensions_citation
4 Dimensions
Summary Dimensions citations
So far, Dimensions has found 4 publications that cite this research output.

4

The most recent citing publications are shown below. View all 4 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.