La lógica intuicionista rechaza el principio del tercero excluido, pero conserva el principio de explosión.