Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Sistema de lógicadesarrollado por Arend Heyting, en 1930, en consonancia con los principios del intuicionismo matemático de L. Brouwer, y aceptado por éste como adecuada formulación lógica de las exigencias del razonamiento intuicionista. Esta lógica supone un cierto rigorismo metodológico que, pese a seguir las reglas de deducción desplegadas en los Principia Matematica, no acepta el principio del tercero excluso


ni el de la doble negación


así como tampoco toda disyunción de la que no pueda probarse la verdad de al menos uno de sus miembros.