Search
Now showing items 1-3 of 3
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 ...
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 ...