Browsing by Author "8ebd16cf-3e9b-4385-9aa4-762e83d6969d"
Now showing items 1-1 of 1
-
Teoría de prueba con etiquetas para lógicas modales intuicionistas
Morales, Marianela (2019-03-28)Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...