Universidad del Valle Biblioteca Digital

Biblioteca Digital Universidad del Valle > Patrimonio Documental Universidad del Valle > Revistas > Matemáticas Enseñanza Universitaria > Vol. 13 no. 2, 2005 / Matemática Enseñanza Universitaria >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10893/1718

Título : Tableaux sin refutación
Autores: Barrero, Tomás
Carnielli, Walter
Palabras clave : Lógica positiva
Trivialidad implicativa
Paratrivialidad
Tableaux positivos
Fecha de publicación: 13-oct-2011
Resumen: 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.
URI: http://hdl.handle.net/10893/1718
Aparece en las colecciones: Vol. 13 no. 2, 2005 / Matemática Enseñanza Universitaria

Texto completo:

Archivo Descripción Tamaño Formato
Tableaux sin refutacion.pdf278.21 kBAdobe PDFDescargar aquí
Ver estadísticas

Los ítems de Biblioteca Digital están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Biblioteca Mario Carvajal
biblioteca@univalle.edu.co
Teléfonos +57 2 3212950 - Fax 3212977
Universidad del Valle - Ciudad Universitaria
Calle 13 # 100-00 Cali, Colombia
    Biblioteca San Fernando
biblioteca@univalle.edu.co
Teléfonos +57 2 5185633 - Fax 5581951
Universidad del Valle - Sede San Fernando
Calle 4a.B # 36-00
Cali, Colombia
    Biblioteca Colección Clínica
biblioteca@univalle.edu.co
Teléfonos +57 2 5576113
Hospital Universitario del Valle
Calle 5a # 36-08
Cali, Colombia
DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard