Browsing Facultad de Ciencias by Author "Aira Ceferino, Félix Daniel"
Now showing items 1-1 of 1
-
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
Aira Ceferino, Félix Daniel (Universidad Nacional José Faustino Sánchez CarriónPE, 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 ...