Aproximación a la lógica lineal intuicionista proposicional como una institución
| dc.contributor.author | Jaramillo Londoño, Juan Camilo | spa |
| dc.date.accessioned | 2023-01-20T19:24:26Z | spa |
| dc.date.accessioned | 2024-02-09T05:33:52Z | |
| dc.date.available | 2023-01-20T19:24:26Z | spa |
| dc.date.available | 2024-02-09T05:33:52Z | |
| dc.date.issued | 2020 | spa |
| dc.description.abstract | 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. | spa |
| dc.format | application/pdf | spa |
| dc.format.mimetype | application/pdf | spa |
| dc.identifier.uri | https://vitela.javerianacali.edu.co/handle/11522/1228 | |
| dc.language.iso | spa | spa |
| dc.publisher | Pontificia Universidad Javeriana de Cali | spa |
| dc.publisher.place | Cali | spa |
| dc.rights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.coar | http://purl.org/coar/access_right/c_abf2 | spa |
| dc.rights.creativecommons | https://creativecommons.org/licenses/by-nc-sa/4.0/ | spa |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/ | spa |
| dc.source | Pontificia Universidad Javeriana de Cali | spa |
| dc.source | Vitela | spa |
| dc.subject.proposal | Lógica | spa |
| dc.subject.proposal | Institución | spa |
| dc.subject.proposal | Lógica lineal intuicionista | spa |
| dc.title | Aproximación a la lógica lineal intuicionista proposicional como una institución | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_46ec | spa |
| dc.type.driver | info:eu-repo/semantics/report | spa |
| dc.type.hasversion | info:eu-repo/semantics/acceptedVersion | spa |
| dc.type.local | Tesis/Trabajo de grado - Monografía – Especialización | spa |
| dc.type.redcol | https://purl.org/redcol/resource_type/TP | spa |
| oaire.version | http://purl.org/coar/version/c_ab4af688f83e57aa | spa |