Mathesis Universalis, Computability and Proof
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783030204464, 9783030204471

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Monotone Completeness Theorem in Constructive Reverse Mathematics

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_8 ◽

2019 ◽

pp. 101-112

Author(s):

Hajime Ishihara ◽

Takako Nemoto

Keyword(s):

Completeness Theorem ◽

Reverse Mathematics ◽

Constructive Reverse Mathematics

Download Full-text

Note on the Benefit of Proof Representations by Name

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_4 ◽

2019 ◽

pp. 37-45

Author(s):

Matthias Baaz

Download Full-text

Constructive Proofs of Negated Statements

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_5 ◽

2019 ◽

pp. 47-53

Author(s):

Josef Berger ◽

Gregor Svindland

Keyword(s):

Constructive Proofs

Download Full-text

From Mathesis Universalis to Provability, Computability, and Constructivity

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_12 ◽

2019 ◽

pp. 203-234

Author(s):

Klaus Mainzer

Keyword(s):

Mathesis Universalis

Download Full-text

Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_14 ◽

2019 ◽

pp. 255-290

Author(s):

Thomas Powell

Keyword(s):

Epsilon Calculus

Download Full-text

Mathesis Universalis and Homotopy Type Theory

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_3 ◽

2019 ◽

pp. 13-36

Author(s):

Steve Awodey

Keyword(s):

Homotopy Type ◽

Type Theory ◽

Homotopy Type Theory ◽

Mathesis Universalis

Download Full-text

Program Extraction from Proofs: The Fan Theorem for Uniformly Coconvex Bars

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_17 ◽

2019 ◽

pp. 333-341

Author(s):

Helmut Schwichtenberg

Keyword(s):

Program Extraction ◽

Fan Theorem

Download Full-text

The Concepts of Proof and Ground

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_15 ◽

2019 ◽

pp. 291-309

Author(s):

Dag Prawitz

Download Full-text

Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_11 ◽

2019 ◽

pp. 159-202

Author(s):

Godehard Link

Download Full-text

On Relating Theories: Proof-Theoretical Reduction

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_16 ◽

2019 ◽

pp. 311-331

Author(s):

Michael Rathjen ◽

Michael Toppel

Download Full-text