Álgebras para la lógica implicativa con conjunción.
| dc.contributor.author | Castillo, Mauricio | |
| dc.contributor.author | Oostra, Arnold | |
| dc.date.accessioned | 2011-09-14T16:53:14Z | |
| dc.date.available | 2011-09-14T16:53:14Z | |
| dc.date.issued | 2011-09-14 | |
| dc.description.abstract | Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista. | spa |
| dc.identifier.uri | https://hdl.handle.net/10893/257 | |
| dc.language.iso | es | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.subject | Lógica proposicional | spa |
| dc.subject | Sistema deductivo | spa |
| dc.subject | Semántica algebraica | spa |
| dc.subject | Álgebra de Hilbert | spa |
| dc.subject | Semirretículo | spa |
| dc.title | Álgebras para la lógica implicativa con conjunción. | spa |
| dc.type | Artículo de revista | spa |
| dspace.entity.type | Publication |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- Algebras para la logica implicativa con conjuncion.pdf
- Tamaño:
- 418.7 KB
- Formato:
- Adobe Portable Document Format
Bloque de licencias
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- license.txt
- Tamaño:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: