BHK SÉMANTIQUE

Ce sujet est traité dans les articles suivants :

1.  INTUITIONNISME

Écrit par : Jacques-Paul DUBUCS

Dans le chapitre "La sémantique BHK"  : … , 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 preuve de l'une des deux propositions qui y figurent, ou que la preuve d'une négation consiste en… Lire la suite