Examinando por Materia "Semántica algebraica"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Publicación Acceso abierto Álgebras para la lógica implicativa con conjunción.(2011-09-14) Castillo, Mauricio; Oostra, ArnoldSe elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.