En matemáticas, las álgebras de Heyting (creadas por Arend Heyting) son conjuntos parcialmente ordenados especiales que generalizan las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica intuicionista, una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.
