Artículo de revista
Álgebras para la lógica implicativa con conjunción.
Autor
Castillo, Mauricio
Oostra, Arnold
Institución
Resumen
Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.