Between proof and truth

Article Properties
  • Language
    English
  • DOI (url)
    10.1007/s11229-011-9903-y
  • Publication Date
    2011/04/22
  • Journal
    Synthese
  • Indian UGC (journal)
  • Refrences
    9
  • Citations
    1
  • Julien Boyer
  • Gabriel Sandu
Cite
Boyer, Julien, and Gabriel Sandu. “Between Proof and Truth”. Synthese, vol. 187, no. 3, 2011, pp. 821-32, https://doi.org/10.1007/s11229-011-9903-y.
Boyer, J., & Sandu, G. (2011). Between proof and truth. Synthese, 187(3), 821-832. https://doi.org/10.1007/s11229-011-9903-y
Boyer J, Sandu G. Between proof and truth. Synthese. 2011;187(3):821-32.
Journal Categories
Philosophy
Psychology
Religion
Philosophy (General)
Social Sciences
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Preuves et jeux sémantiques Philosophia Scientae
  • Philosophy. Psychology. Religion: Philosophy (General)
 3 2004
Deflationism and the Godel Phenomena Mind
  • Philosophy. Psychology. Religion: Philosophy (General)
 32 2002
A semantics of evidence for classical arithmetic

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 34 1995
On Godel Sentences and What They Say Philosophia Mathematica
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Social Sciences
 11 2007
10.1016/S0304-3975(02)00776-4 Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2003
Citations
Title Journal Journal Categories Citations Publication Date
Game theoretical semantics for some non-classical logics Journal of Applied Non-Classical Logics 4 2016