Heyting algebra
bounded lattice that models intuitionistic propositional logic
Press Enter · cited answer in seconds
0 sources
Heyting algebra
Summary
Heyting algebra is a mathematical concept[1]. It draws 92 Wikipedia views per month (mathematical_concept category, ranking #165 of 1,007).[2]
Key Facts
- Heyting algebra's instance of is recorded as mathematical concept[3].
- Arend Heyting is named after Heyting algebra[4].
- Heyting algebra's Library of Congress authority ID is recorded as sh2010014322[5].
- Heyting algebra's subclass of is recorded as bounded lattice[6].
- Heyting algebra's subclass of is recorded as residuated lattice[7].
- Heyting algebra's subclass of is recorded as distributive lattice[8].
- Heyting algebra's subclass of is recorded as cartesian closed category[9].
- Heyting algebra's subclass of is recorded as finitely complete category[10].
- Heyting algebra's subclass of is recorded as finitely cocomplete category[11].
- Heyting algebra's Commons category is recorded as Heyting Algebra[12].
- Heyting algebra's BNCF Thesaurus ID is recorded as 67959[13].
- Heyting algebra's Freebase ID is recorded as /m/01szjs[14].
- Heyting algebra's studied by is recorded as lattice theory[15].
- Heyting algebra's studied by is recorded as mathematical logic[16].
- Heyting algebra's BabelNet ID is recorded as 02443810n[17].
- Heyting algebra's MathWorld ID is recorded as HeytingAlgebra[18].
- Heyting algebra's JSTOR topic ID is recorded as heyting-algebras[19].
- Heyting algebra's nLab ID is recorded as Heyting algebra[20].
- Heyting algebra's maintained by WikiProject is recorded as WikiProject Mathematics[21].
- Heyting algebra's Microsoft Academic ID is recorded as 187062830[22].
- Heyting algebra's PlanetMath ID is recorded as HeytingAlgebra[23].
- Heyting algebra's National Library of Israel J9U ID is recorded as 987007572533605171[24].
- Heyting algebra's OpenAlex ID is recorded as C187062830[25].
- Heyting algebra's Yale LUX ID is recorded as concept/971ee427-f1d0-414b-8d44-73fd6a7590a3[26].
Why It Matters
Heyting algebra draws 92 Wikipedia views per month (mathematical_concept category, ranking #165 of 1,007).[2] It has Wikipedia articles in 13 language editions, a strong signal of global cultural recognition.[27] It is known by 5 alternative names across languages and contexts.[28]