El sistema geométrico de deducción denominado de N-Grafos fue introducido por De Oliveira en el año 2001. Las pruebas en este sistema son representadas por medio de digrafos. Estos grafos de pruebas se basan en la deducción natural y en el cálculo de secuentes de Gentzen, combinando ideas de cuatro abordajes geométricos consolidadas en la literatura de teoría de la prueba: las tablas de de-senvolvimiento (Kneale, 1957), redes-de-prueba (Girard, 1987), logical flow graphs (Buss, 1991), y principalmente pruebas-como-grafos (Statman, 1974). Dado que to-dos estos sistemas geométricos apelan a la simetría clásica entre las premisas y las conclusiones, proporcionar una versión intuicionista de cualquiera de estos es un ejercicio interesante para ampliar el rango de aplicabilidad del sistema geométrico en cuestión. En esta tesis se produce una versión intuicionista para los N-Graf...