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

No Thumbnail Available
Date
2020
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.
Description
Keywords
Citation