Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Sistema de lógica desarrollado 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.