Tableaux sin refutación

Abstract

Usando como motivación la objeción de H. Curry y una propuesta de L. Henkin, el artículo introduce los tableaux positivos, una forma de tableaux sin refutación construidos a partir de la idea de trivialidad implicativa. Se establece el teorema de completitud que garantiza un nuevo proceso de decisión para la lógica positiva clásica. Se introduce también el concepto de paratrivialidad como posible respuesta a paradojas y limitaciones de la implicación clásica.