Redes de Prueba

Una representación gráfica y canónica de pruebas en fragmentos de la lógica lineal donde fórmulas y sus conexiones aparecen como nodos y enlaces; las redes de prueba hacen explícito el paralelismo, eliminan la burocracia sintáctica de las pruebas en sequent y admiten criterios gráficos de corrección y eliminación de cortes como transformaciones locales de grafos.