Título: "PRK, una lógica constructiva clásica" Director: Pablo Barenbaum Jurado: - Eduardo Bonelli (Stevens Institute of Technology) - Santiago Figueira (ICC, CONICET) Resumen: Esta tesis presenta el sistema PRK, un sistema lógico en el cual las nociones de prueba y refutación son duales. Este sistema extiende a la lógica [...]