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

Jaramillo Londoño, Juan Camilo2023-01-202024-02-092023-01-202024-02-092020https://vitela.javerianacali.edu.co/handle/11522/1228En 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.application/pdfapplication/pdfspainfo:eu-repo/semantics/openAccessAproximación a la lógica lineal intuicionista proposicional como una instituciónLógicaInstituciónLógica lineal intuicionistahttp://purl.org/coar/resource_type/c_46echttps://creativecommons.org/licenses/by-nc-sa/4.0/http://purl.org/coar/access_right/c_abf2