Between proof and truth
From MaRDI portal
Publication:383057
DOI10.1007/s11229-011-9903-yzbMath1275.03019MaRDI QIDQ383057
Publication date: 25 November 2013
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-011-9903-y
logical consequence; truth; proof; game-theoretical semantics; games with backward moves; Gödel's sentence; recursive winning strategies; verificationism
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Game theoretical semantics for some non-classical logics, Verificationism and Classical Realizability, Game Theoretical Semantics for Paraconsistent Logics
Cites Work