Erratum to: ``Between proof and truth
From MaRDI portal
Publication:383075
DOI10.1007/S11229-011-0043-1zbMATH Open1275.03020OpenAlexW1966594406MaRDI QIDQ383075FDOQ383075
Authors: Julien Boyer, Gabriel Sandu
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-0043-1
Recommendations
- RIGOUR AND PROOF – CORRIGENDUM
- Erratum to ``Confirmation as partial entailment
- Erratum to: ``How negative truths are made true
- Erratum to: Computational Complexity Theory and the Philosophy of Mathematics
- SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION
- KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM
- Corrigendum
- Shorter Notes: Erratum to "A Simple Proof of Rado's Theorem"
- Erratum to: ``Natural implication and modus ponens principle
- Erratum to: ``Localizing the axioms
Cites Work
- Title not available (Why is that?)
- A semantics of evidence for classical arithmetic
- Title not available (Why is that?)
- Dependent choice, `quote' and the clock
- Games in dynamic-epistemic logic
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
- Can proofs be animated by games?
- On Godel Sentences and What They Say
Cited In (4)
This page was built for publication: Erratum to: ``Between proof and truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383075)