✦ LIBER ✦

Erratum to: Between proof and truth

✍ Scribed by Julien Boyer, Gabriel Sandu

Book ID: 118810836
Publisher: Springer Netherlands
Year: 2012
Tongue: English
Weight: 82 KB
Volume: 187
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-011-0043-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Between proof and truth

✍ Julien Boyer, Gabriel Sandu 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 171 KB

Truth and Proof

✍ Tarski, Alfred 📂 Article 📅 1969 🏛 Nature Publishing Group 🌐 English ⚖ 981 KB

Proof and Truth

✍ Shapiro, Stewart 📂 Fiction 📅 0 🌐 English ⚖ 3 MB

Truth, Proofs and Functions

✍ Jean Fichot 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 110 KB

Truth Values and Proof Theory

✍ Greg Restall 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 291 KB

Proof interpretations with truth

✍ Jaime Gaspar; Paulo Oliva 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

## Abstract This article systematically investigates so‐called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modified realizability, namely modified realizability with truth and q‐modified realizability. Both variants are shown