Intuitionistic Proof Versus Classical Truth

1. Brouwer, Dummett and the Bar Theorem
Enrico Martino

2. Creative Subject and Bar Theorem
Enrico Martino

3. Natural Intuitionistic Semantics and Generalized Beth Semantics
Enrico Martino

4. Connection Between the Principle of Inductive Evidence and the Bar Theorem
Enrico Martino

5. On the Brouwerian Concept of Negative Continuity
Enrico Martino

6. Classical and Intuitionistic Semantical Groundedness
Enrico Martino

7. Brouwer’s Equivalence Between Virtual and Inextensible Order
Enrico Martino

8. An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds
Enrico Martino

9. Propositions and Judgements in Martin-Löf
Enrico Martino

10. Negationless Intuitionism
Enrico Martino

11. Temporal and Atemporal Truth in Intuitionistic Mathematics
Enrico Martino

12. Arbitrary Reference in Mathematical Reasoning
Enrico Martino

13. The Priority of Arithmetical Truth over Arithmetical Provability
Enrico Martino

14. The Impredicativity of the Intuitionistic Meaning of Logical Constants
Enrico Martino

15. The Intuitionistic Meaning of Logical Constants and Fallible Models
Enrico Martino

Keywords: Philosophy, Philosophy of Mathematics, Mathematical Logic and Foundations, Philology, Mathematical Logic and Formal Languages, Logic