Tableaux sin refutación.
Artículo de revista
2011-10-13
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.
es
Descripción:
Tableaux sin refutacion.pdf
Título: Tableaux sin refutacion.pdf
Tamaño: 278.2Kb
PDF
LEER EN FLIP
Título: Tableaux sin refutacion.pdf
Tamaño: 278.2Kb

