<nowiki>álgebra de Heyting; algèbre de Heyting; Àlgebra de Heyting; Heyting-Algebra; álgebra de Heyting; 海廷代数; Heytingova algebra; ハイティング代数; álgebra de Heyting; aljabar Heyting; algebra Heytinga; алгебра Гейтінга; 海廷代数; алгебра Гейтинга; 헤이팅 대수; Heyting algebra; alĝebro de Heyting; Heytingova algebra; algebra di Heyting; classe de estruturas algébricas; kekisi berbatas, dengan operasi sambungan dan pertemuan yang tertulis ∨ dan ∧ dan dengan elemen terkecil 0 dan elemen terbesar 1; klasa struktur algebraicznych; tipus d'estructures algebraiques; 有界格,构成直观命题逻辑的模型; 직관 명제 논리의 모형을 이루는 유계 격자; bounded lattice that models intuitionistic propositional logic; класс алгебраических структур; sémantika intuicionistické logiky; classe de estruturas algébricas; псевдобулева алгебра; Heyting代數; Heyting代数; імплікативна ґратка; algebra de Heyting</nowiki>
Heyting algebra
bounded lattice that models intuitionistic propositional logic