Categoría: Lógica intuicionista

Sistema lógico que rechaza el principio del tercero excluido, con énfasis en la constructividad de los argumentos y la demostración.