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

• Autores: José Carlos Cifuentes Vásquez
• Localización: Areté: revista de filosofía, ISSN 1016-913X, Vol. 4, Nº. 2, 1992, págs. 323-335
• Idioma: español
• Títulos paralelos:
  • La Fórmula de Barcan es equivalente al Teorema de Deducción
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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

  • English

    In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive severa! other formulations of DT found in the literature, and their relationship with the Barcan's Formula