Search
Now showing items 1-1 of 1
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
(Universidad Nacional José Faustino Sánchez Carrión, 2021-01-25)
Objetivo: La investigación tuvo como objetivo interpretar el cálculo de secuente de la Lógica Intuicionista con ayuda de la teoría de Categorías. Metodología: La metodología que se empleo fue de tipo teórica, de alcance ...