•  51
    Truth, proofs and functions
    Synthese 137 (1-2). 2003.
    There are two different ways to introduce the notion of truthin constructive mathematics. The first one is to use a Tarskian definition of truth in aconstructive (meta)language. According to some authors, (Kreisel, van Dalen, Troelstra ... ),this definition is entirely similar to the Tarskian definition of classical truth (thesis A).The second one, due essentially to Heyting and Kolmogorov, and known as theBrouwer–Heyting–Kolmogorov interpretation, is to explain informally what it means fora mat…Read more
  •  19
    Constructivité, règles et signification
    Revue Internationale de Philosophie 4 411-436. 2004.