bn:02443810n
Noun Concept
Categories: Logique mathématique, Treillis
FR
algèbre de Heyting  Algèbre d'Heyting  algèbres de Heyting
FR
En mathématiques, une algèbre de Heyting est une structure algébrique introduite en 1930 par le mathématicien néerlandais Arend Heyting pour rendre compte formellement de la logique intuitionniste de Brouwer, alors récemment développée. Wikipedia
English:
structure
Definitions
Relations
Sources
FR
En mathématiques, une algèbre de Heyting est une structure algébrique introduite en 1930 par le mathématicien néerlandais Arend Heyting pour rendre compte formellement de la logique intuitionniste de Brouwer, alors récemment développée. Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikipedia Translations