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

dc.contributor.authorJaramillo Londoño, Juan Camilospa
dc.date.accessioned2023-01-20T19:24:26Zspa
dc.date.accessioned2024-02-09T05:33:52Z
dc.date.available2023-01-20T19:24:26Zspa
dc.date.available2024-02-09T05:33:52Z
dc.date.issued2020spa
dc.description.abstractEn 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.formatapplication/pdfspa
dc.format.mimetypeapplication/pdfspa
dc.identifier.urihttps://vitela.javerianacali.edu.co/handle/11522/1228
dc.language.isospaspa
dc.publisherPontificia Universidad Javeriana de Calispa
dc.publisher.placeCalispa
dc.rightsinfo:eu-repo/semantics/openAccessspa
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2spa
dc.rights.creativecommonshttps://creativecommons.org/licenses/by-nc-sa/4.0/spa
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/4.0/spa
dc.sourcePontificia Universidad Javeriana de Calispa
dc.sourceVitelaspa
dc.subject.proposalLógicaspa
dc.subject.proposalInstituciónspa
dc.subject.proposalLógica lineal intuicionistaspa
dc.titleAproximación a la lógica lineal intuicionista proposicional como una instituciónspa
dc.type.coarhttp://purl.org/coar/resource_type/c_46ecspa
dc.type.driverinfo:eu-repo/semantics/reportspa
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersionspa
dc.type.localTesis/Trabajo de grado - Monografía – Especializaciónspa
dc.type.redcolhttps://purl.org/redcol/resource_type/TPspa
oaire.versionhttp://purl.org/coar/version/c_ab4af688f83e57aaspa
Files