Lógica Intuicionista

Un sistema lógico constructivista que interpreta los conectivos lógicos en términos de demostrabilidad o construcciones, rechaza la ley del tercero excluido sin restricciones y se formaliza habitualmente mediante deducción natural, cálculos de secuentes, álgebras de Heyting o semántica de Kripke para la verdad constructiva.