Álgebra de Heyting

Un retículo acotado (con 0 y 1) provisto de una operación binaria de implicación → que satisface la adjunción a ∧ b ≤ c si y solo si a ≤ (b → c); proporciona una semántica algebraica para la lógica proposicional intuicionista donde no necesariamente se cumple el principio del tercero excluido.