Between proof and truth
From MaRDI portal
Publication:383057
DOI10.1007/s11229-011-9903-yzbMath1275.03019OpenAlexW1978633416MaRDI 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 consequencetruthproofgame-theoretical semanticsgames with backward movesGödel's sentencerecursive winning strategiesverificationism
Related Items
Game Theoretical Semantics for Paraconsistent Logics, Game theoretical semantics for some non-classical logics, Verificationism and Classical Realizability
Cites Work