De los secuentes a la deducción natural

Autores/as

  • Jesús Baceta Instituto de Filosofía, Universidad Central de Venezuela

Resumen

Se proporciona una axiomática para el cálculo de secuentes y se muestra cómo se obtiene de ella un cálculo de deducción natural para la lógica proposicional.

Descargas

Publicado

18-04-2023

Cómo citar

Baceta, J. (2023). De los secuentes a la deducción natural. Episteme NS, 41, 1–6. Recuperado a partir de https://saber.ucv.ve/ojs/index.php/rev_ens/article/view/26216

Número

Vol. 41 (2021): Lógica y Filosofía de la Mente

Sección

Artículos

Artículos más leídos del mismo autor/a

Nota: Este módulo requiere de la activación de, al menos, un módulo de estadísticas/informes. Si los módulos de estadísticas proporcionan más de una métrica, selecciona una métrica principal en la página de configuración del sitio y/o en las páginas de propiedades de la revista.