Home›Algebraic logic›Heyting algebra🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoPolskiPortuguêsРусский한국어中文日本語EntityQ1617044· pop 15· linked from 198 articlesHeyting algebrabounded lattice that models intuitionistic propositional logicAvailable in 14 languagesEspañolFrançaisDeutsch中文日本語РусскийItalianoBahasa IndonesiaCatalanCzechPolskiConnectionspartially ordered setEntityStephen CookEntityCategoriesAlgebraic logicConstructivism (philosophy of mathematics)Lattice theory