Álgebra de Heyting
De Wikipedia, la enciclopedia encyclopedia
«Local (matemáticas)» redirige aquí. Para propiedades que se cumplen cerca de un punto, véase Localmente.
En matemáticas, las álgebras de Heyting, creadas por Arend Heyting, son conjuntos parcialmente ordenados especiales que generalizan á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 es válido. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.