Between proof and truth

DOI10.1007/s11229-011-9903-yzbMath1275.03019OpenAlexW1978633416MaRDI QIDQ383057

Gabriel Sandu, Julien Boyer

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

zbMATH Keywords

logical consequencetruthproofgame-theoretical semanticsgames with backward movesGödel's sentencerecursive winning strategiesverificationism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

Game Theoretical Semantics for Paraconsistent Logics ⋮ Game theoretical semantics for some non-classical logics ⋮ Verificationism and Classical Realizability

Cites Work

• Unnamed Item
• Unnamed Item
• Dependent choice, `quote' and the clock
• Games in Dynamic-Epistemic Logic
• A semantics of evidence for classical arithmetic
• On Godel Sentences and What They Say

This page was built for publication: Between proof and truth