Aproximación a la lógica lineal intuicionista proposicional como una institución
No Thumbnail Available
Date
2020
Authors
Director
Journal Title
Journal ISSN
Volume Title
Publisher
Pontificia Universidad Javeriana de Cali
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.