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

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.

Autores:
Jaramillo Londoño, Juan Camilo
Tipo de recurso:
Tesis
Fecha de publicación:
2020
Institución:
Pontificia Universidad Javeriana Cali
Repositorio:
Vitela
Idioma:
spa
OAI Identifier:
oai:vitela.javerianacali.edu.co:11522/1228
Acceso en línea:
https://vitela.javerianacali.edu.co/handle/11522/1228
Palabra clave:
Lógica
Institución
Lógica lineal intuicionista
Rights
openAccess
License
https://creativecommons.org/licenses/by-nc-sa/4.0/
Description
Summary: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.