De los secuentes a la deducción natural

Autores

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

Resumo

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.

Downloads

Publicado

2023-04-18

Como Citar

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

Edição

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

Secção

Artículos

Artigos mais lidos do(s) mesmo(s) autor(es)

Obs.: Este plugin requer pelo menos um plugin de estatísticas/relatório ativado. Se os seus plugins de estatísticas fornecem mais de uma métrica, selecione também uma métrica principal na área de configurações do administrador e/ou na área de configurações da Revista.