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

Autores/as

  • 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

Los datos de descarga aún no están disponibles.

Descargas

Publicado

1992-09-03

Número

Vol. 4 Núm. 2 (1992)

Sección

Artículos

Licencia

Derechos de autor 2016 Areté

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.

Cómo citar

La Fórmula de Barcan es equivalente al Teorema de Deducción. (1992). Areté, 4(2), 323-335. https://doi.org/10.18800/arete.199202.001