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

Autor
Jaramillo Londoño, Juan Camilo
Metadatos
Mostrar el registro completo del ítem
Descripció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.
Colecciones
© AUSJAL 2022

Asociación de Universidades Confiadas a la Compañía de Jesús en América Latina, AUSJAL
Av. Santa Teresa de Jesús Edif. Cerpe, Piso 2, Oficina AUSJAL Urb.
La Castellana, Chacao (1060) Caracas - Venezuela
Tel/Fax (+58-212)-266-13-41 /(+58-212)-266-85-62

Nuestras redes sociales

facebook Facebook

twitter Twitter

youtube Youtube

Asociaciones Jesuitas en el mundo
Ausjal en el mundo AJCU AUSJAL JESAM JCEP JCS JCAP