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/
| 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. |
|---|