De los secuentes a la deducción natural

Authors

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

Abstract

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

Published

2023-04-18

How to Cite

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

Issue

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

Section

Artículos

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.