La Fórmula de Barcan es equivalente al Teorema de Deducción

  • José Carlos Cifuentes Vásquez University of Campinas
DOI: https://doi.org/10.18800/arete.199202.001

Resumen

En esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de Barcan

Descargas

El artículo aún no registra descargas.
Cómo citar
Cifuentes Vásquez, J. C. (1992). La Fórmula de Barcan es equivalente al Teorema de Deducción. Areté, 4(2), 323-335. https://doi.org/10.18800/arete.199202.001

Derechos de autor 2016 Areté

Creative Commons License
Esta obra está bajo licencia internacional Creative Commons Reconocimiento 4.0.