Search
Now showing items 1-4 of 4
Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
(Universidad Nacional de Córdoba, 1996-11)
La aparición del sistema de Deducción Natural a comienzos de la década del 1930 es un hecho en la historia de la lógica moderna que vale la pena destacar En efecto, la Deducción Natural trajo consigo una nueva concepción ...
Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
(Universidad Nacional de Córdoba, 1995-09)
El aporte de Gentzen en esta obra puede resumirse en los dos resultados siguientes. En
primer lugar, las inferencias deductivas son analizadas en un conjunto de inferencias básicas,
justificables por el significado mismo ...
Reglas estructurales y análisis de la consecuencia lógica
(Universidad Nacional de Córdoba, 1999-07)
La semántica formal de valores de verdad para la lógica de primer orden, tal como fue fundada por Alfred Tarski, es considerada por muchos como la herramienta formal adecuada para reconstruir la verdad lógica y la relación ...
El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
(Universidad Nacional de Córdoba, 1997-11)
En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el ...