Universidad del Valle Biblioteca Digital

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

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

Título : Álgebras para la lógica implicativa con conjunción
Autores: Castillo, Mauricio
Oostra, Arnold
Palabras clave : Lógica proposicional
Sistema deductivo
Semántica algebraica
Álgebra de Hilbert
Semirretículo
Fecha de publicación: 14-sep-2011
Resumen: Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.
URI: http://hdl.handle.net/10893/257
Aparece en las colecciones: Vol. 18 no. 2, 2010 / Matemática Enseñanza Universitaria

Texto completo:

Archivo Descripción Tamaño Formato
Algebras para la logica implicativa con conjuncion.pdf418.7 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