Por favor utiliza este link para citar o compartir este documento: http://repositoriodigital.academica.mx/jspui/handle/987654321/259825
Título: Álgebras para la lógica implicativa con conjunción
Palabras clave: Física, Astronomía y Matemáticas
Propositional logic
deductive system
algebraic semantics
Hilbert algebra
semilattice
Editorial: Escuela Regional de Matemáticas
Descripción: We explain different presentations of the algebraic structures that match the {- , ^}-fragment of intuitionistic propositional logic.
Other Identifiers: http://www.redalyc.org/articulo.oa?id=46817293002
Aparece en las Colecciones:Matemáticas: Enseñanza Universitaria

Archivos de este documento:
No hay archivos asociados a este documento.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.