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

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

2023-04-18

Número

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

Sección

Artículos