Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319743561, 9783319743578

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Intuitionistic Meaning of Logical Constants and Fallible Models

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_15 ◽

2018 ◽

pp. 157-163

Author(s):

Enrico Martino

Keyword(s):

Logical Constants

Download Full-text

Propositions and Judgements in Martin-Löf

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_9 ◽

2018 ◽

pp. 75-84

Author(s):

Enrico Martino

Download Full-text

An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_8 ◽

2018 ◽

pp. 63-73

Author(s):

Enrico Martino

Keyword(s):

Strong Completeness

Download Full-text

On the Brouwerian Concept of Negative Continuity

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_5 ◽

2018 ◽

pp. 31-45

Author(s):

Enrico Martino

Download Full-text

Negationless Intuitionism

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_10 ◽

2018 ◽

pp. 85-95

Author(s):

Enrico Martino

Download Full-text

Brouwer, Dummett and the Bar Theorem

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_1 ◽

2018 ◽

pp. 1-14

Author(s):

Enrico Martino

Download Full-text

Brouwer’s Equivalence Between Virtual and Inextensible Order

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_7 ◽

2018 ◽

pp. 53-62

Author(s):

Enrico Martino

Download Full-text

Classical and Intuitionistic Semantical Groundedness

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_6 ◽

2018 ◽

pp. 47-51

Author(s):

Enrico Martino

Download Full-text

Arbitrary Reference in Mathematical Reasoning

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_12 ◽

2018 ◽

pp. 113-131

Author(s):

Enrico Martino

Keyword(s):

Mathematical Reasoning ◽

Arbitrary Reference

Download Full-text

Connection Between the Principle of Inductive Evidence and the Bar Theorem

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth ◽

10.1007/978-3-319-74357-8_4 ◽

2018 ◽

pp. 27-30

Author(s):

Enrico Martino

Download Full-text

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical TruthLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Intuitionistic Meaning of Logical Constants and Fallible Models

Propositions and Judgements in Martin-Löf

An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds

On the Brouwerian Concept of Negative Continuity

Negationless Intuitionism

Brouwer, Dummett and the Bar Theorem

Brouwer’s Equivalence Between Virtual and Inextensible Order

Classical and Intuitionistic Semantical Groundedness

Arbitrary Reference in Mathematical Reasoning

Connection Between the Principle of Inductive Evidence and the Bar Theorem

Logic, Epistemology, and the Unity of Science - Intuitionistic Proof Versus Classical Truth
Latest Publications