BHK SÉMANTIQUE

Article

• INTUITIONNISME

  • Écrit par Jacques-Paul DUBUCS
  • 1 647 mots
  ...des énoncés, en décrit les conditions d'assertabilité, c'est-à-dire les conditions auxquelles nous sommes justifiés à les tenir pour corrects. La sémantique en question, aujourd'hui nommée BHK (Brouwer-Heyting-Kolmogoroff), stipule, par exemple, que la preuve d'une disjonction consiste en la...