Aproximación a la lógica lineal intuicionista proposicional como una institución

dc.creator	Jaramillo Londoño, Juan Camilo
dc.date	2023-01-20T19:24:26Z
dc.date	2024-02-09T05:33:52Z
dc.date	2023-01-20T19:24:26Z
dc.date	2024-02-09T05:33:52Z
dc.date	2020
dc.date.accessioned	2026-10-15T17:12:17Z
dc.date.available	2026-10-15T17:12:17Z
dc.identifier	https://vitela.javerianacali.edu.co/handle/11522/1228
dc.identifier.uri	https://hdl.handle.net/20.500.12032/189646
dc.description	En este trabajo se construye una institución para la lógica lineal instuicionista proposicional en la que se aceptan como fórmulas secuentes completos de la misma lógica.
dc.format	application/pdf
dc.format	application/pdf
dc.language	spa
dc.publisher	Pontificia Universidad Javeriana de Cali
dc.publisher	Cali
dc.rights	info:eu-repo/semantics/openAccess
dc.rights	https://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights	https://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights	http://purl.org/coar/access_right/c_abf2
dc.source	Pontificia Universidad Javeriana de Cali
dc.source	Vitela
dc.subject	Lógica
dc.subject	Institución
dc.subject	Lógica lineal intuicionista
dc.title	Aproximación a la lógica lineal intuicionista proposicional como una institución
dc.type	http://purl.org/coar/resource_type/c_46ec
dc.type	info:eu-repo/semantics/report
dc.type	Tesis/Trabajo de grado - Monografía – Especialización
dc.type	info:eu-repo/semantics/acceptedVersion
dc.type	https://purl.org/redcol/resource_type/TP

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.